First steps towards probabilistic justification logic
Options
BORIS DOI
Publisher DOI
Description
In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.
Date of Publication
2015-06-12
Publication Type
Article
Language(s)
en
Contributor(s)
Maksimović, Petar | |
Ognjanović, Zoran |
Additional Credits
Series
Logic Journal of IGPL
Publisher
Oxford University Press
ISSN
1367-0751
Access(Rights)
open.access