Authors: | Ilić Stepić, Angelina Ognjanović, Zoran Perović, Aleksandar |
Affiliations: | Mathematics Mathematical Institute of the Serbian Academy of Sciences and Arts |
Title: | A Probabilistic Temporal Epistemic Logic, Part II: Decidability | Journal: | Logic Journal Of The Igpl | Issue Date: | 2023 | Rank: | ~M21a | ISSN: | 1367-0751 | DOI: | 10.1093/jigpal/jzac080 | Publisher: | Oxford Academic Press |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.