We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Realization of -modality by Evidence Terms.
- Authors
Rubtsova, Natalia
- Abstract
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 .
- Subjects
MATHEMATICS education; INFORMATION theory; AXIOMS; FOUNDATIONS of geometry; MATHEMATICAL proofs; FOUNDATIONS of mathematical analysis
- Publication
Journal of Logic & Computation, 2006, Vol 16, Issue 5, p671
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exl030