An axiomatic system for STIT imagination logic
Logic
2015-04-13 v1
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.
Cite
@article{arxiv.1504.02743,
title = {An axiomatic system for STIT imagination logic},
author = {Grigory K. Olkhovikov},
journal= {arXiv preprint arXiv:1504.02743},
year = {2015}
}
Comments
8 pages, 0 figures