Common knowledge and update in finite environments

DOI10.1006/inco.1997.2679zbMath0892.68035OpenAlexW2054351881MaRDI QIDQ1383157

Ron van der Meyden

Publication date: 27 July 1998

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1997.2679

zbMATH Keywords

knowledge-based protocolslogics of knowledge

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

Knowledge-based strategies for multi-agent teams playing against nature, Priority scheduling of distributed systems based on model checking, Achieving distributed control through model checking, Knowledge updates: Semantics and complexity issues, Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic, Symbolic Model Checking the Knowledge in Herbivore Protocol, Knowledge Based Scheduling of Distributed Systems, Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall, Tableaux for logics of time and knowledge with interactions relating to synchrony

Cites Work

• The complexity of two-player games of incomplete information
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Formal theories of knowledge in AI and robotics
• How processes learn
• Programming simultaneous actions using common knowledge
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A guide to completeness and complexity for modal logics of knowledge and belief
• Concurrent common knowledge: Defining agreement for asynchronous systems
• Modelling knowledge and action in distributed systems
• Domino-tiling games
• Knowledge and common knowledge in a distributed environment
• Domino Games and Complexity
• Time/Space Trade-Offs for Reversible Computation
• Alternation
• A little knowledge goes a long way
• A model-theoretic analysis of knowledge
• Knowledge-oriented programming
• Knowledge-based programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item