Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Jan M. Broersen (2011). Making a Start with the Stit Logic Analysis of Intentional Action. Journal of Philosophical Logic 40 (4):499-530.
Heinrich Wansing (2006). Doxastic Decisions, Epistemic Justification, and the Logic of Agency. Philosophical Studies 128 (1):201 - 227.
Ming Xu (1994). Decidability Ofstit Theory with a Single Agent Andrefref Equivalence. Studia Logica 53 (2):259 - 298.
Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4):387 - 406.
Ming Xu (1998). Axioms for Deliberative Stit. Journal of Philosophical Logic 27 (5):505-552.
Michael Perloff (1991). Stit and the Language of Agency. Synthese 86 (3):379 - 408.
Ming Xu (2010). Combinations of Stit and Actions. Journal of Logic, Language and Information 19 (4):485-503.
Andreas Herzig & Emiliano Lorini (2010). A Dynamic Logic of Agency I: Stit, Capabilities and Powers. [REVIEW] Journal of Logic, Language and Information 19 (1):89-121.
Nuel Belnap (1991). Before Refraining: Concepts for Agency. [REVIEW] Erkenntnis 34 (2):137 - 169.
Beth Huffer (2007). Actions and Outcomes: Two Aspects of Agency. Synthese 157 (2):241 - 265.
Added to index2009-01-28
Total downloads12 ( #101,300 of 739,189 )
Recent downloads (6 months)1 ( #61,778 of 739,189 )
How can I increase my downloads?