Journal of Philosophical Logic 31 (5):387-414 (2002)
|Abstract||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 stit-operators 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 F. v. Kutschera and B. F. 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, F. v. Kutschera and N. D. Belnap.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
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. Journal of Logic, Language and Information 19 (1).
Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4).
Franz von Kutschera (1997). T × W Completeness. Journal of Philosophical Logic 26 (3):241 - 250.
Added to index2009-01-28
Total downloads5 ( #160,284 of 549,069 )
Recent downloads (6 months)1 ( #63,185 of 549,069 )
How can I increase my downloads?