| Authors: | Tomović, Siniša Ognjanović, Zoran Doder, Dragan |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A First-order Logic for Reasoning about Knowledge and Probability | Journal: | ACM Transactions on Computational Logic | Volume: | 21 | Issue: | 2 | First page: | 16:1 | Last page: | 16:30 | Issue Date: | 2-Feb-2020 | Rank: | M22 | ISSN: | 1529-3785 | DOI: | 10.1145/3359752 | Abstract: | We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. We define its syntax and semantics and prove the strong completeness property of the corresponding axiomatic system. |
Description: | Article no. 16 |
Keywords: | coordinated actions | infinite number of agents | probabilistic common knowledge | Probabilistic epistemic logic | strong completeness | Publisher: | Association for Computing Machinery | Project: | Mathematical Modelas and Optimization Methods on Large-Scale Systems Representations of logical structures and formal languages and their application in computing 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 |
Show full item record
SCOPUSTM
Citations
10
checked on Dec 3, 2024
Page view(s)
24
checked on Dec 3, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.