(1) There is a book edit by J-J Meyer and R Wieringa entitled "Deontic
logic in computer science : normative system specification" Published by
J. Wiley, (1993) which is a good place to begin on Deontic Logic.
(2) Look at Z Haag, R Foley & J Newman (1998) "A Deontic Formalism for
Coordinating Software Development in Virtual Software Corporations" IEEE
7th Workshops on Enabling Technologies: Infrastructure for Collaborative
Enterprises (WETICE '98), Stanford University, CA. Vol 7; 15-20 ISSN
1080-1383 (IEEE Computer Society)
(3) Contact Zsolt Haag ([log in to unmask]) to find out whether there are
working papers that he would be willing to let you have.
Xiaodong Wang wrote:
>
> Hi, everyone,
> I was suggested by someone to describe cooperative relationships in
> deontic logic, but I have no materials about it. I wonder someone could
> help me to obtain some useful documents, materials, URLs, and so on,
> about deontic logic.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|