An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	259-279
Number of pages	21
Journal	Journal of Philosophical Logic
Volume	47
Issue number	2
DOIs	https://doi.org/10.1007/s10992-017-9426-1
Publication status	Published - 1 Apr 2018

Axiomatization, Canonical models, Completeness, Logic of imagination, STIT logic, Tableaux

ID: 7146554