Article thumbnail

Justification logic enjoys the strong finite model property

By Thomas Studer

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

Topics: Computer Science - Logic in Computer Science, Mathematics - Logic
Year: 2015
OAI identifier: oai:arXiv.org:1506.06933

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

Suggested articles