Probabilistic Common Knowledge Among Infinite Number of Agents

DOI10.1007/978-3-319-20807-7_45zbMath1465.68244OpenAlexW2401832863MaRDI QIDQ3451209

Dragan Doder, Siniša Tomović, Zoran Ognjanović

Publication date: 10 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20807-7_45

zbMATH Keywords

strong completenessinfinite number of agentsprobabilistic common knowledgeprobabilistic epistemic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Related Items (5)

Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ Reasoning About Degrees of Confirmation ⋮ An epistemic probabilistic logic with conditional probabilities ⋮ Logics with Probability Operators ⋮ Probabilistic Temporal Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hierarchies of probabilistic logics
• Conditional \(p\)-adic probability logic
• Reasoning about common knowledge with infinitely many agents
• A guide to completeness and complexity for modal logics of knowledge and belief
• Decidability and expressiveness for first-order logics of probability
• Some first-order probability logics
• A logic for reasoning about probabilities
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A first-order conditional probability logic
• A first-order conditional probability logic with iterations
• Complex valued probability logics
• Knowledge and common knowledge in a distributed environment
• Some probability logics with new types of probability operators
• Knowledge, probability, and adversaries
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• A First-Order Dynamic Probability Logic
• A Probabilistic Logic with Polynomial Weight Formulas

This page was built for publication: Probabilistic Common Knowledge Among Infinite Number of Agents