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
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.
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


checked on Jun 11, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




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