On the sharpness and the injective property of basic justification\n models

2017/09/05 by Vladimir N. Krupski, Krupski, Vladimir N.
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.1709.01316

openalex publication_date 2017/09/05 · openalex created_date 2022/10/01 · openalex updated_date 2026/07/28

Abstract

Justification Awareness Models, JAMs, were proposed by S.~Artemov as a tool\nfor modelling epistemic scenarios like Russel's Prime Minister example. It was\ndemonstrated that the sharpness and the injective property of a model play\nessential role in the epistemic usage of JAMs. The problem to axiomatize these\nproperties using the propositional justification language was left opened. We\npropose the solution and define a decidable justification logic Jref that is\nsound and complete with respect to the class of all sharp injective\njustification models.\n

Citations

• Epistemic Modeling with Justifications

Related

• Epistemic Modeling with Justifications
• Extensions to Justification Theory
• Justification logic enjoys the strong finite model property
• Justification logic and the epistemic contribution of deduction
• Subset models for justification logic