Recommendations
Cited in
(28)- Group Belief
- On ambiguities in the interpretation of game trees
- The problem of confirmation in the Everett interpretation
- A logical approach to multilevel security of probabilistic systems
- The Logic of Risky Knowledge
- Two views of belief: Belief as generalized probability and belief as evidence
- An epistemic foundation for authentication logics (extended abstract)
- Agreement and updating for self-locating belief
- A model of reasoning about knowledge
- Updating beliefs with incomplete observations
- Epistemic properties of knowledge hierarchies
- A logical theory of localization
- A better composition operator for quantitative information flow analyses
- Using probabilistic Kleene algebra pKA for protocol verification
- Common knowledge revisited
- Dynamic update with probabilities
- The independent choice logic for modelling multiple agents under uncertainty
- Robot location estimation in the situation calculus
- Updating non-additive probabilities -- a geometric approach
- A logic for reasoning about probabilities
- A knowledge-based analysis of the blockchain protocol
- Beyond Lamport's Happened-before
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Extending probabilistic dynamic epistemic logic
- On compositional reasoning about anonymity and privacy in epistemic logic
- Probabilistic Common Knowledge Among Infinite Number of Agents
- On the logical unsolvability of the Gettier problem
- Modeling belief in dynamic systems. I: Foundations
This page was built for publication: Knowledge, probability, and adversaries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4271090)
