On the Sharpness and the Single-Conclusion Property of Basic Justification Models

摘要

Justification Awareness Models, JAMs, were proposed by S. Artemov as a tool for modelling epistemic scenarios like Russell's Prime Minister example. It was demonstrated that the sharpness and the single-conclusion property of a model play essential role in the epistemic usage of JAMs. The problem to axiomatize these properties using the propositional justification language was left opened. We propose the solution and define a decidable justification logic J_(ref) that is sound and complete with respect to the class of all sharp single-conclusion justification models.