Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661967 | Annals of Pure and Applied Logic | 2014 | 11 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Robert S. Milnikel,