Results

eNauka >  Results >  A probabilistic temporal epistemic logic: Decidability
Title: A probabilistic temporal epistemic logic: Decidability
Authors: Ognjanović, Zoran  ; Ilić-Stepić, Angelina  ; Perović, Aleksandar  
Issue Date: 2023
Publication: LOGIC JOURNAL OF THE IGPL
ISSN: 1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Search Idenfier
Type: Article
DOI: 10.1093/jigpal/jzac080
WoS-ID: 001057913300001
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5094
https://enauka.gov.rs/handle/123456789/832239
Project: Science Fund of the Republic of Serbia [Grant AI4TrustBC]: Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology and by the Serbian Ministry of Education, Science and Technologi
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
21M21

1
WEB OF SCIENCETM
Altmetric
Dimensions

Find the DOI

Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.