Justification logic enjoys the strong finite model property
Thomas Studer · arXiv (Cornell University) · 2015
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.