Назив: | First steps towards probabilistic justification logic |
Аутори: | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas |
Година: | 2015 |
Публикација: | Logic Journal of the IGPL |
ISSN: | 1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Претражи идентификатор |
Издавач: | Oxford University Press |
Тип резултата: | Научни чланак |
Колација: | 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 |
Пројекат: | 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 |
Извор метаподатака: | Migracija |
М-категорија: | 21M21 - Рад у врхунском међ. часопису |