Journal of Philosophical Logic 37 (4):387 - 406 (2008)
|Abstract||We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and Chellas’s STIT.|
|Keywords||axiomatization complexity logic of agency STIT|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Heinrich Wansing (2006). Doxastic Decisions, Epistemic Justification, and the Logic of Agency. Philosophical Studies 128 (1):201 - 227.
Kevin Davey (2002). Obligation and the Conditional in Stit Theory. Studia Logica 72 (3):339-362.
Ming Xu (2010). Combinations of Stit and Actions. Journal of Logic, Language and Information 19 (4):485-503.
John F. Horty & Nuel Belnap (1995). The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation. [REVIEW] Journal of Philosophical Logic 24 (6):583 - 644.
Beth Huffer (2007). Actions and Outcomes: Two Aspects of Agency. Synthese 157 (2):241 - 265.
Stefan Wölfl (2002). Propositional Q-Logic. Journal of Philosophical Logic 31 (5):387-414.
Ming Xu (1998). Axioms for Deliberative Stit. Journal of Philosophical Logic 27 (5):505-552.
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.
Michael Perloff (1991). Stit and the Language of Agency. Synthese 86 (3):379 - 408.
Ming Xu (1995). On the Basic Logic of STIT with a Single Agent. Journal of Symbolic Logic 60 (2):459-483.
Added to index2009-01-28
Total downloads15 ( #85,924 of 722,813 )
Recent downloads (6 months)2 ( #36,645 of 722,813 )
How can I increase my downloads?