Journal of Philosophical Logic

pp 1–21 | Cite as

Simplified Tableaux for STIT Imagination Logic

• Authors
• Authors and affiliations

• Grigory K. Olkhovikov
• Heinrich Wansing

Article

First Online: 07 February 2019

• 7 Downloads

Abstract

We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing (Journal of Philosophical Logic, 47(2), 259–279, 2018).

Keywords

Logic of imagination STIT logic Tableaux Canonical models 

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Notes

Acknowledgments

We acknowledge support by the Deutsche Forschungsgemeinschaft, grant WA 936/11-1.

References

1. 1.
   Olkhovikov, G.K., & Wansing, H. (2018). An axiom system and a tableau calculus for STIT imagination logic. Journal of Philosophical Logic, 47(2), 259–279.CrossRefGoogle Scholar

Copyright information

© Springer Nature B.V. 2019

Authors and Affiliations

• Grigory K. Olkhovikov
  • 1
  • 2
  Email author
• Heinrich Wansing
  • 1
  View author's OrcID profile

1. 1.Department of Philosophy IRuhr-University BochumBochumGermany
2. 2.Department of PhilosophyUral Federal UniversityEkaterinburgRussia