We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing (Journal of Philosophical Logic, 47(2), 259–279, 2018).
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
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.
We acknowledge support by the Deutsche Forschungsgemeinschaft, grant WA 936/11-1.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
- Logic of imagination
- STIT logic
- Canonical models