Decidability for some justification logics with negative introspection
Thomas Studer · Journal of Symbolic Logic · 2013
Abstract Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.