Deontic Interpreted Systems

Studia Logica 75 (1):63-92 (2003)
  Copy   BIBTEX


We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45ni-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work.



    Upload a copy of this work     Papers currently archived: 78,003

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Deontic interpreted systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63 - 92.
On finitely-valued inference systems.Zbigniew Stachniak - 1998 - Studia Logica 61 (1):149-169.
On the Logic of β-pregroups.Aleksandra Kiślak-Malinowska - 2007 - Studia Logica 87 (2-3):323-342.
Russell's Metaphysical Logic.Bernard Linsky - 1999 - Center for the Study of Language and Inf.
Skolem's Discovery of Gödel-Dummett Logic.Jan von Plato - 2003 - Studia Logica 73 (1):153-157.
Vito F. Sinisi, applied logic.James Chase - 2002 - Studia Logica 70 (3):444-445.


Added to PP

6 (#1,114,683)

6 months
1 (#484,784)

Historical graph of downloads
How can I increase my downloads?