A First-Order Logic for Reasoning about Knowledge and Probability

We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of Fagin and Halpern from (J.ACM 41:340-367,1994). We define its s...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Tomović, Siniša, Ognjanović, Zoran, Doder, Dragan
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 21.01.2019
Subjects
Logic
Semantics
Statistical analysis
Online AccessGet full text

Cover

More Information
Summary:We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of Fagin and Halpern from (J.ACM 41:340-367,1994). We define its syntax and semantics, and prove the strong completeness property of the corresponding axiomatic system.
ISSN:2331-8422