  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.
