Group announcement logic

DOI10.1016/J.JAL.2008.12.002MaRDI QIDQ975877zbMATH OpenOpenAlexFDO

Authors Thomas Ågotnes, Philippe Balbiani, Pablo Seban, Hans 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

coalitionsdynamic epistemic logicinformation-based protocolslogics for multi-agent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Coalition and group announcement logic
• Group announcement logic with distributed knowledge
• Coalition and relativised group announcement logic
• Bilattice public announcement logic
• A public announcement separation logic
• scientific article; zbMATH DE number 7444842
• Public announcement logic with distributed knowledge
• Public announcement logic in HOL
• Logic of questions and public announcements
• Reasoning about permitted announcements

Cites work

• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Modal Logic for Coalitional Power in Games
• Alternating-time temporal logic
• Alternation
• Axiomatising the logic of computer programming
• Constructive knowledge: what agents can achieve under imperfect information
• Dynamic Epistemic Logic and Knowledge Puzzles
• Modal logic
• On logics with two variables
• The Russian cards problem
• What one may come to know
• `Knowable' as `known after an announcement'

Cited in

(40)

• On the Dynamics of Institutional Agreements
• Mathematics of public announcements
• On composition of bounded-recall plans
• Arbitrary arrow update logic
• To be announced
• Coalition and relativised group announcement logic
• Together we know how to achieve: an epistemic logic of know-how
• Propositional quantification in logics of contingency
• Model checking for coalition announcement logic
• Arbitrary public announcement logic with memory
• Reasoning about permitted announcements
• First steps in updating knowing how
• The logic of public announcements, common knowledge, and private suspicions
• What will they say? -- Public announcement games
• Knowing the price of success
• Alternating-time temporal announcement logic
• APAL with memory Ii better
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Simulative belief logic
• Communication pattern logic: epistemic and topological views
• From public announcements to asynchronous announcements
• The undecidability of quantified announcements
• Resolving distributed knowledge
• Verification and strategy synthesis for coalition announcement logic
• Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
• scientific article; zbMATH DE number 1746025 (Why is no real title available?)
• Attainable knowledge and omniscience
• No finite model property for logics of quantified announcements
• Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
• Intelligence in strategic games
• The undecidability of arbitrary arrow update logic
• Coalition and group announcement logic
• Putting right the wording and the proof of the truth lemma for \textit{APAL}
• Exploring the tractability border in epistemic tasks
• Resolving distributed knowledge
• Knowing-how under uncertainty
• Populational announcement logic (PPAL)
• The dynamics of epistemic attitudes in resource-bounded agents
• Positive announcements
• Together we know how to achieve: an epistemic logic of know-how (extended abstract)

This page was built for publication: Group announcement logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975877)