Advertisement

Simplified Tableaux for STIT Imagination Logic

  • Grigory K. OlkhovikovEmail author
  • Heinrich Wansing
Article
  • 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 

Preview

Unable to display preview. Download preview PDF.

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

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

Personalised recommendations