On the sharpness and the single-conclusion property of basic justification models

DOI10.1007/978-3-319-72056-2_13MaRDI QIDQ1709703zbMATH OpenOpenAlexFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 6 April 2018

Full work available at URL https://arxiv.org/abs/1709.01316

zbMATH Keywords

justification awareness modelsjustification logicmodal logicsharpness propertysingle-conclusion property

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Abstract: Justification Awareness Models, JAMs, were proposed by S.~Artemov as a tool for modelling epistemic scenarios like Russel's Prime Minister example. It was demonstrated that the sharpness and the injective 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 Jref that is sound and complete with respect to the class of all sharp injective justification models.

Recommendations

• On sharp and single-conclusion justification models
• The sharpness property of justification logic
• Justification awareness models
• Justification awareness
• Justification logic. Reasoning with reasons

Cited in

(3)

• Justification awareness models
• Justification awareness
• The sharpness property of justification logic

This page was built for publication: On the sharpness and the single-conclusion property of basic justification models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1709703)