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 equivalence
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2275842 |
| Options |
Save to my reading list
Follow the author(s)
Edit this record
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 31,786
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Time and Modality in the Logic of Agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
Getting Started: Beginnings in the Logic of Action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.
Backwards and Forwards in the Modal Logic of Agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
View all 9 references / Add more references
Citations of this work BETA
A Formal Characterisation of Hamblin's Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.
Combinations of Stit with Ought and Know.Ming Xu - forthcoming - Journal of Philosophical Logic:1-27.
A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415-448.
Similar books and articlesMaking a Start with the Stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.
A Dynamic Logic of Agency I: Stit, Capabilities and Powers. [REVIEW]Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
Alternative Axiomatics and Complexity of Deliberative Stit Theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
Decidability Ofstit Theory with a Single Agent Andrefref Equivalence.Ming Xu - 1994 - Studia Logica 53 (2):259 - 298.
Added to PP index
2009-01-28
Total downloads
41 ( #143,484 of 2,231,518 )
Recent downloads (6 months)
1 ( #445,507 of 2,231,518 )
2009-01-28
Total downloads
41 ( #143,484 of 2,231,518 )
Recent downloads (6 months)
1 ( #445,507 of 2,231,518 )
How can I increase my downloads?
Monthly downloads
My notes
