Alternative axiomatics and complexity of deliberative STIT theories

  title={Alternative axiomatics and complexity of deliberative STIT theories},
  author={Philippe Balbiani and Andreas Herzig and Nicolas Troquard},
  journal={J. Philosophical Logic},
We propose two alternatives to Xu’s axiomatization of the Chellas STIT. The first one 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 the Chellas STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators is… CONTINUE READING

From This Paper

Topics from this paper.
32 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

Dialogical Deliberative Stit

  • Cédric Dégremont
  • Master’s thesis, University of Lille
  • 2006

ManyDimensional Modal Logics: Theory and Applications

  • D. M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev
  • Number 148 in Studies in Logic and the…
  • 2003

Facing the Future: agents and choices in our indeterminist world

  • N. Belnap, M. Perloff, M. Xu
  • 2001

Modal Logic

  • Patrick Blackburn, Maarten de Rijke, Yde Venema
  • 2001

Complexity of products of modal logics

  • Maarten Marx
  • J. of Logic and Computation,
  • 1999

The Logical Form of Imperatives

  • Brian Chellas
  • PhD thesis,
  • 1969

Similar Papers

Loading similar papers…