Explicit justification stit logic: a completeness result
Logic
2017-09-21 v1
Abstract
We consider the explicit fragment of the basic justification stit logic introduced in earlier publications. We define a Hilbert-style axiomatic system for this logic and show that this system is strongly complete relative to the intended semantics.
Keywords
Cite
@article{arxiv.1709.06893,
title = {Explicit justification stit logic: a completeness result},
author = {Grigory K. Olkhovikov},
journal= {arXiv preprint arXiv:1709.06893},
year = {2017}
}
Comments
32 pages, 0 figures. arXiv admin note: substantial text overlap with arXiv:1707.03292