Journal of Philosophical Logic

, Volume 31, Issue 5, pp 387–414

Propositional Q-Logic

  • Stefan Wölfl
Article

DOI: 10.1023/A:1020163602542

Cite this article as:
Wölfl, S. Journal of Philosophical Logic (2002) 31: 387. doi:10.1023/A:1020163602542

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.

agencybranching historiescompletenessstit

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Stefan Wölfl
    • 1
  1. 1.Dipartimento di Matematica Pura ed ApplicataUniversità degli Studi di PadovaPadovaItaly