2 papers
cs.LO2017
On the sharpness and the injective property of basic justification models
Vladimir N. Krupski
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 sha…
cs.LO2013
Primal implication as encryption
Vladimir Krupski
We propose a "cryptographic" interpretation for the propositional connectives of primal infon logic introduced by Y. Gurevich and I. Neeman and prove the corresponding soundness an…