A First-order Logic for Reasoning about Knowledge and Probability-Reference-Cited by-同舟云学术

A First-order Logic for Reasoning about Knowledge and Probability

Published:2020-04-30 Issue:2 Volume:21 Page:1-30
ISSN:1529-3785
Container-title:ACM Transactions on Computational Logic
language:en
Short-container-title:ACM Trans. Comput. Logic

Author:

Tomović S.¹^ORCID,Ognjanović Z.²,Doder D.³

Affiliation:

1. Faculty of Technical Sciences, Novi Sad, Serbia

2. Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia

3. Utrecht University, Utrecht, The Netherlands

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

Funder

Serbian Ministry of Education and Science through projects

Publisher

Association for Computing Machinery (ACM)

Subject

Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3359752

Reference49 articles.

1. Decidability and Expressiveness for First-Order Logics of Probability

2. Lp, a logic for representing and reasoning with statistical knowledge

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning about knowledge and conditional probability;International Journal of Approximate Reasoning;2023-12

2. Probabilistic temporal logic with countably additive semantics;Annals of Pure and Applied Logic;2023-11

3. A probabilistic temporal epistemic logic: Decidability;Logic Journal of the IGPL;2023-09-04

4. Probability Logics for Reasoning About Quantum Observations;Logica Universalis;2023-04-25

5. Radio-Emitting Objects State Recognition Based on Formal Systems under a Priori Uncertainty;2022 IEEE 2nd Ukrainian Microwave Week (UkrMW);2022-11-14