Group announcement logic
From MaRDI portal
Publication:975877
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
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, Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard, 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