Abstract
AbstractJustification 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have