An axiomatic system for STIT imagination logic
arXiv:1504.02743
Abstract
We formulate a Hilbert-style axiomatic system for STIT logic of imagination recently proposed by H. Wansing and prove its completeness by the method of canonical models.
arXiv comment8 pages, 0 figures