First steps towards probabilistic justification logic
| Data(s) |
12/06/2015
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/70718/1/version12.pdf Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas (2015). First steps towards probabilistic justification logic. Logic Journal of IGPL, 23(4), pp. 662-687. Oxford University Press 10.1093/jigpal/jzv025 <http://dx.doi.org/10.1093/jigpal/jzv025> doi:10.7892/boris.70718 info:doi:10.1093/jigpal/jzv025 urn:issn:1367-0751 |
| Idioma(s) |
eng |
| Publicador |
Oxford University Press |
| Relação |
http://boris.unibe.ch/70718/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas (2015). First steps towards probabilistic justification logic. Logic Journal of IGPL, 23(4), pp. 662-687. Oxford University Press 10.1093/jigpal/jzv025 <http://dx.doi.org/10.1093/jigpal/jzv025> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
