The Logic of Uncertain Justifications |
| |
Authors: | Robert S Milnikel |
| |
Institution: | Department of Mathematics, Kenyon College, Gambier, OH 43022, United States |
| |
Abstract: | In Artemov?s Justification Logic, one can make statements interpreted as “t is evidence for the truth of formula F.” We propose a variant of this logic in which one can say “I have degree r of confidence that t is evidence for the truth of formula F.” After defining both an axiomatic approach and a semantics for this Logic of Uncertain Justifications, we will prove the usual soundness and completeness theorems. |
| |
Keywords: | 03B42 03F45 68T30 |
本文献已被 ScienceDirect 等数据库收录! |
|