| Title: | First steps towards probabilistic justification logic |
Authors: | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran   ; Studer, Thomas |
Issue Date: | 2015 |
Publication: | Logic Journal of the IGPL |
ISSN: | 1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Search Idenfier |
Publisher: | Oxford University Press |
Type: | Article |
Collation: | 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 |
Project: | 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 |
Metadata source: | Migracija |
M-category: | |
