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

Abstract
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, KD45n i-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.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026176900459
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators.Hans Rott - 2006 - In David Makinson, Jacek Malinowski & Heinrich Wansing (eds.), Towards Mathematical Philosophy. Dordrecht: Springer. pp. 269–296.
Agent Strands in the Action Language N C +.Robert Craven & Marek Sergot - 2008 - Journal of Applied Logic 6 (2):172-191.

View all 14 citations / Add more citations

Similar books and articles

On Deontic Logic.Leon Gumański - 1980 - Studia Logica 39 (1):63 - 75.
Dynamic Topological Logic Interpreted Over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Three Characterizability Problems in Deontic Logic.Lennart Åqvist - 2000 - Nordic Journal of Philosophical Logic 5 (2):65-82.

Analytics

Added to PP index
2009-01-28

Total views
44 ( #261,158 of 2,533,674 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,674 )

How can I increase my downloads?

Downloads

My notes