David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 31 (5):387-414 (2002)
Topic of the paper is Q-logic - a logic of agency in its temporal and modal context. Q-logic may be considered as a basal logic of agency since the most important stitoperators discussed in the literature can be defined or axiomatized easily within its semantical and syntactical framework. Its basic agent dependent operator, the Q-operator (also known as Δ- or cstit-operator), which has been discussed independently by E v. Kutschera and B. E Chellas, is investigated here in respect of its relation to other temporal and modal operators. The main result of the paper, then, is a completeness result for a calculus of Q-logic with respect to a semantics defined on the tree-approach to agency as introduced and developed by, among others, E v. Kutschera and N. D. Belnap.
|Categories||categorize this paper)|
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|
References found in this work BETA
Nuel D. Belnap (2001). Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press on Demand.
John Francis Horty (2001). Agency and Deontic Logic. Oxford University Press.
M. Reynolds (2001). An Axiomatization of Full Computation Tree Logic. Journal of Symbolic Logic 66 (3):1011-1057.
Dov M. Gabbay, Ian Hodkinson & Mark Reynolds (1994). Temporal Logic Mathematical Foundations and Computational Aspects. Monograph Collection (Matt - Pseudo).
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.
Citations of this work BETA
François Schwarzentruber (2012). Complexity Results of STIT Fragments. Studia Logica 100 (5):1001-1045.
Ming Xu (2012). Actions as Events. Journal of Philosophical Logic 41 (4):765 - 809.
Ming Xu (2010). Combinations of Stit and Actions. Journal of Logic, Language and Information 19 (4):485-503.
Ming Xu (forthcoming). Combinations of Stit with Ought and Know. Journal of Philosophical Logic:1-27.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Similar books and articles
Steven T. Kuhn (1980). Quantifiers as Modal Operators. Studia Logica 39 (2-3):145 - 158.
Guido Governatori & Antonino Rotolo (2005). On the Axiomatisation of Elgesem's Logic of Agency and Ability. Journal of Philosophical Logic 34 (4):403 - 431.
Franz Kutschervona (1997). T Ã W Completeness. Journal of Philosophical Logic 26 (3):241-250.
Yannis Stephanou (2001). Indexed Actuality. Journal of Philosophical Logic 30 (4):355-393.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Giacomo Bonanno (2007). Temporal Interaction of Information and Belief. Studia Logica 86 (3):375 - 401.
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.
Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4):387 - 406.
Franz von Kutschera (1997). T × W Completeness. Journal of Philosophical Logic 26 (3):241 - 250.
Added to index2009-01-28
Total downloads16 ( #191,366 of 1,781,282 )
Recent downloads (6 months)1 ( #295,025 of 1,781,282 )
How can I increase my downloads?