Group announcement logic

DOI10.1016/j.jal.2008.12.002zbMath1200.03015MaRDI QIDQ975877

Philippe Balbiani, Pablo Seban, Thomas Ågotnes, Hans P. van Ditmarsch

Publication date: 11 June 2010

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.12.002

zbMATH Keywords

coalitions; dynamic epistemic logic; information-based protocols; logics for multi-agent systems

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T42: Agent technology and artificial intelligence

Related Items

Putting right the wording and the proof of the Truth Lemma forAPAL, Propositional quantification in logics of contingency, Unnamed Item, Intelligence in Strategic Games, To be announced, Communication pattern logic: epistemic and topological views, The undecidability of quantified announcements, Arbitrary arrow update logic, Exploring the tractability border in epistemic tasks, What will they say? -- Public announcement games, Reasoning about permitted announcements, Knowing the price of success, Resolving distributed knowledge, Together we know how to achieve: an epistemic logic of know-how, The dynamics of epistemic attitudes in resource-bounded agents, On composition of bounded-recall plans, Positive announcements, Verification and strategy synthesis for coalition announcement logic, Logics with group announcements and distributed knowledge: completeness and expressive power, Coalition and relativised group announcement logic, Knowing-how under uncertainty, The undecidability of arbitrary arrow update logic, Simulative belief logic, Arbitrary public announcement logic with memory, Alternating-Time Temporal Announcement Logic, Mathematics of Public Announcements, Unnamed Item, Unnamed Item, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Axiomatising the logic of computer programming
• The Russian cards problem
• On logics with two variables
• Alternating-time temporal logic
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Dynamic Epistemic Logic and Knowledge Puzzles
• Constructive knowledge: what agents can achieve under imperfect information
• Alternation
• A Modal Logic for Coalitional Power in Games
• What one may come to know