Cheating husbands and other stories: A case study of knowledge, action, and communication

DOI10.1007/BF01661170zbMath0609.68072MaRDI QIDQ1087024

Joseph Y. Halpern, Yoram Moses, Danny Dolev

Publication date: 1986

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

common knowledgedistributed protocolscheating wirescomputer network protocolsintelligent robots

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of operating systems (68N25) Theory of software (68N99)

Related Items (12)

The secret of my success ⋮ The complexity of reasoning about knowledge and time. I: Lower bounds ⋮ To be announced ⋮ Communication pattern logic: epistemic and topological views ⋮ An epistemic separation logic with action models ⋮ A note on knowledge-based programs and specifications ⋮ Common Knowledge Logic in a Higher Order Proof Assistant ⋮ True lies ⋮ Modelling knowledge and action in distributed systems ⋮ On Revocable and Irrevocable Belief Revision ⋮ CONTINGENCY AND KNOWING WHETHER ⋮ Prolegomena to dynamic logic for belief revision

Cites Work

• Unnamed Item

This page was built for publication: Cheating husbands and other stories: A case study of knowledge, action, and communication