On the sharpness and the injective property of basic justification models
Logic in Computer Science
2017-09-06 v1
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.
Keywords
Cite
@article{arxiv.1709.01316,
title = {On the sharpness and the injective property of basic justification models},
author = {Vladimir N. Krupski},
journal= {arXiv preprint arXiv:1709.01316},
year = {2017}
}