Naziv: | First steps towards probabilistic justification logic |
Autori: | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas |
Godina: | 2015 |
Publikacija: | Logic Journal of the IGPL |
ISSN: | 1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Pretraži identifikator |
Izdavač: | Oxford University Press |
Tip rezultata: | Naučni članak |
Kolacija: | vol. 23 br. 4 str. 662-687 |
DOI: | 10.1093/jigpal/jzv025 |
WoS-ID: | 000359701300007 |
Scopus-ID: | 2-s2.0-84939507695 |
URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/28 https://enauka.gov.rs/handle/123456789/304945 |
Projekat: | SNSF project 153169,Structural Proof Theory and the Logic of Proofs 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 Representations of logical structures and formal languages and their application in computing |
Izvor metapodataka: | Migracija |
M-kategorija: | 21M21 - Rad u vrhunskom međ. časopisu |