Justification logic enjoys the strong finite model property
Logic in Computer Science
2015-06-24 v1 Logic
Abstract
We observe that justification logic enjoys a form the strong finite model property (sometimes also called small model property). Thus we obtain decidability proofs for justification logic that do not rely on Post's theorem.
Keywords
Cite
@article{arxiv.1506.06933,
title = {Justification logic enjoys the strong finite model property},
author = {Thomas Studer},
journal= {arXiv preprint arXiv:1506.06933},
year = {2015}
}