On Realization of -modality by Evidence Terms
Natalia Rubtsova · Journal of Logic and Computation · 2006
We introduce a logic of evidence-based knowledge in which the evidence part is based on logic of proofs with negative checker . The later is obtained from the Logic of proofs by adding a new unary operation of negative checker ‘?’ and the corresponding axiom. We define Kripke-style models for and prove the completeness with respect to this semantics. We also define the logic of justified knowledge for .