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).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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.
Acknowledgments
We acknowledge support by the Deutsche Forschungsgemeinschaft, grant WA 936/11-1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Olkhovikov, G.K., Wansing, H. Simplified Tableaux for STIT Imagination Logic. J Philos Logic 48, 981–1001 (2019). https://doi.org/10.1007/s10992-019-09503-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-019-09503-1