On the basic logic of STIT with a single agent
Journal of Symbolic Logic 60 (2):459-483 (1995)
Abstract
We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea of the proof is to apply the notion of companion sets--the same notion as used in another paper by the author that showed the decidability of stit theory with a single agent and Refref equivalenceMy notes
Similar books and articles
Making a Start with the stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.
Decidability ofstit theory with a single agent andrefref equivalence.Ming Xu - 1994 - Studia Logica 53 (2):259 - 298.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Analytics
Added to PP
2009-01-28
Downloads
76 (#160,911)
6 months
4 (#183,048)
2009-01-28
Downloads
76 (#160,911)
6 months
4 (#183,048)
Historical graph of downloads
Citations of this work
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
Anselm’s Logic of Agency.Sara L. Uckelman - 2009 - History of Philosophy & Logical Analysis 12 (1):248-268.
A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.
References found in this work
Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
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.
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.