Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
    Download  
     
    Export citation  
     
    Bookmark   391 citations  
  • The Logic of Knowledge Based Obligation.Eric Pacuit, Rohit Parikh & Eva Cogan - 2006 - Synthese 149 (2):311-341.
    Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • (4 other versions)Deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
    Download  
     
    Export citation  
     
    Bookmark   166 citations  
  • (3 other versions)A plea for excuses.John Austin - 1957 - Proceedings of the Aristotelian Society 57:1--30.
    The subject of this paper, Excuses, is one not to be treated, but only to be introduced, within such limits. It is, or might be, the name of a whole branch, even a ramiculated branch, of philosophy, or at least of one fashion of philosophy. I shall try, therefore, first to state what the subject is, why it is worth studying, and how it may be studied, all this at a regrettably lofty level: and then I shall illustrate, in more (...)
    Download  
     
    Export citation  
     
    Bookmark   270 citations  
  • A reduction of deontic logic to alethic modal logic.Alan Ross Anderson - 1958 - Mind 67 (265):100-103.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • (4 other versions)I. deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
    Download  
     
    Export citation  
     
    Bookmark   175 citations  
  • (1 other version)Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
    Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
    Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Good samaritans, contrary-to-duty imperatives, and epistemic obligations.Lennart Å Qvist - 1967 - Noûs 1 (4):361-379.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (1 other version)Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.Wiebe van Der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
    Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as "Alternating-time Temporal Logic". The key insight in (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Moral conflicts between groups of agents.Barteld Kooi & Allard Tamminga - 2008 - Journal of Philosophical Logic 37 (1):1-21.
    Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • The deliberative stit: A study of action, omission, ability, and obligation. [REVIEW]John F. Horty & Nuel Belnap - 1995 - Journal of Philosophical Logic 24 (6):583 - 644.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • A knowledge based semantics of messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.
    We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.J. -J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (1 other version)A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic.J. Ch Meyer - 1988 - Notre Dame Journal of Formal Logic 29:109-136.
    Download  
     
    Export citation  
     
    Bookmark   41 citations