Reasoning about knowledge and conditional probability

DOI10.1016/j.ijar.2023.109037OpenAlexW4387007960MaRDI QIDQ6064254

Šejla Dautović, Zoran Ognjanović, Dragan Doder

Publication date: 12 December 2023

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2023.109037

zbMATH Keywords

decidabilitycompleteness theoremepistemic logicprobabilistic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An analysis of first-order logics of probability
• Approximating common knowledge with common beliefs
• Decidability and expressiveness for first-order logics of probability
• Anytime deduction for probabilistic logic
• First order common knowledge logics
• The hierarchical approach to modeling knowledge and common knowledge
• A logic for reasoning about probabilities
• An epistemic probabilistic logic with conditional probabilities
• Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
• Probabilistic consensus of the blockchain protocol
• From statistical knowledge bases to degrees of belief
• Probability Logics
• A first-order conditional probability logic
• Knowledge and common knowledge in a distributed environment
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• A First-order Logic for Reasoning about Knowledge and Probability
• Logics in Artificial Intelligence

This page was built for publication: Reasoning about knowledge and conditional probability