| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kokkinis, Ioannis | en |
| dc.contributor.author | Maksimović, Petar | en |
| dc.contributor.author | Ognjanović, Zoran | en |
| dc.contributor.author | Studer, Thomas | en |
| dc.date.accessioned | 2020-02-18T20:06:26Z | - |
| dc.date.available | 2020-02-18T20:06:26Z | - |
| dc.date.issued | 2015-01-01 | en |
| dc.identifier.issn | 1367-0751 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/28 | - |
| dc.description.abstract | 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. | en |
| dc.publisher | Oxford University Press | - |
| dc.relation | SNSF project 153169,Structural Proof Theory and the Logic of Proofs | - |
| dc.relation | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education | - |
| dc.relation | Representations of logical structures and formal languages and their application in computing | - |
| dc.relation.ispartof | Logic Journal of the IGPL | en |
| dc.subject | Completeness | Justification logic | Probabilistic justiciations | Probability logic | Soundness | Uncertain justifications | en |
| dc.title | First steps towards probabilistic justification logic | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1093/jigpal/jzv025 | en |
| dc.identifier.scopus | 2-s2.0-84939507695 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 662 | - |
| dc.relation.lastpage | 687 | - |
| dc.relation.issue | 4 | - |
| dc.relation.volume | 23 | - |
| dc.description.rank | M21 | - |
| item.openairetype | Article | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.cerifentitytype | Publications | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
| crisitem.project.fundingProgram | NATIONAL HEART, LUNG, AND BLOOD INSTITUTE | - |
| crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04 | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
SCOPUSTM
Citations
29
checked on Apr 23, 2024
Page view(s)
45
checked on Apr 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.