Justification logic enjoys the strong finite model property

Thomas Studer

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 justificatio…