David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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
|Keywords||No keywords specified (fix it)|
|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
No references found.
Citations of this work BETA
Ming Xu (2010). Combinations of Stit and Actions. Journal of Logic, Language and Information 19 (4):485-503.
Ming Xu (2012). Actions as Events. Journal of Philosophical Logic 41 (4):765 - 809.
François Schwarzentruber (2012). Complexity Results of STIT Fragments. Studia Logica 100 (5):1001-1045.
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 downloads14 ( #120,449 of 1,101,838 )
Recent downloads (6 months)9 ( #28,705 of 1,101,838 )
How can I increase my downloads?