Common knowledge and update in finite environments
From MaRDI portal
Publication:1383157
DOI10.1006/inco.1997.2679zbMath0892.68035OpenAlexW2054351881MaRDI QIDQ1383157
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
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