Knowledge, probability, and adversaries

DOI10.1145/153724.153770zbMath0783.68120OpenAlexW2067887313WikidataQ128297136 ScholiaQ128297136MaRDI QIDQ4271090

Joseph Y. Halpern, Mark R. Tuttle

Publication date: 9 January 1994

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/153724.153770

zbMATH Keywords

verificationreliabilitydistributed systemstestingfault-toleranceprogram verificationbetting gameprobabilistic knowledgecoordinated attackbyzantine generals problem

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of graph theory to circuits and networks (94C15)

Related Items (27)

Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ A logical theory of localization ⋮ Beyond Lamport's Happened-before ⋮ On ambiguities in the interpretation of game trees ⋮ A better composition operator for quantitative information flow analyses ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ The independent choice logic for modelling multiple agents under uncertainty ⋮ Group Belief ⋮ The problem of confirmation in the Everett interpretation ⋮ Robot location estimation in the situation calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ Epistemic properties of knowledge hierarchies ⋮ A logical approach to multilevel security of probabilistic systems ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ On compositional reasoning about anonymity and privacy in epistemic logic ⋮ Two views of belief: Belief as generalized probability and belief as evidence ⋮ On the logical unsolvability of the Gettier problem ⋮ Updating non-additive probabilities -- a geometric approach ⋮ Agreement and updating for self-locating belief ⋮ A logic for reasoning about probabilities ⋮ Dynamic update with probabilities ⋮ Extending probabilistic dynamic epistemic logic ⋮ A model of reasoning about knowledge ⋮ Common knowledge revisited ⋮ Updating beliefs with incomplete observations

This page was built for publication: Knowledge, probability, and adversaries