On interactive knowledge with bounded communication

DOI10.3166/jancl.21.323-354zbMath1242.03035OpenAlexW2041582401MaRDI QIDQ2901218

Yoram Moses, Ido Ben-Zvi

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.323-354

zbMATH Keywords

causalitytime boundssynchronous communicationcommon knowledge gaininteractive knowledge gain

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Network protocols (68M12) Communication theory (94A05) Agent technology and artificial intelligence (68T42)

Related Items

Beyond Lamport's Happened-before, A datalog-based computational model for coordination-free, data-parallel systems, Known Unknowns: Time Bounds and Knowledge of Ignorance

Cites Work

• Dynamic epistemic logic
• How processes learn
• A knowledge based semantics of messages
• Bounded MSC communication
• Knowledge and common knowledge in a distributed environment
• Notes on finite asynchronous automata
• Time, clocks, and the ordering of events in a distributed system
• A really temporal logic