Justification awareness models (JAMs) were proposed by S. Artemov as a tool for modelling epistemic scenarios such as Russell’s prime minister example. It was demonstrated that the sharpness and the single-conclusion property of a model play an 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 |$\textsf{J}_{\textit{ref}}$| that is sound and complete with respect to the class of all sharp single-conclusion justification models. We also provide the complete axiomatizations for the classes of all single-conclusion justification models and all sharp justification models.

中文翻译：

---

在尖锐和单结论理由模型上

正义意识模型（JAM）是S. Artemov提出的，它是一种用于建模认知情景的工具，例如罗素总理的例子。结果表明，模型的清晰度和单结论性质在JAM的认知用法中起着至关重要的作用。使用命题证明语言公理化这些属性的问题尚未解决。我们提出解决方案并定义可判定的对位逻辑| $ \ textsf {J} _ {\ textit {ref}} $ | 就所有尖锐的单结论理由模型的类别而言，这是合理且完整的。我们还为所有单结论理由模型和所有尖锐的理由模型提供了完整的公理化。