Coalition and group announcement logic

MaRDI QIDQ3384067zbMATH OpenFDO

Authors Rustam Galimullin, Natasha Alechina

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08746, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.15

Mathematics Subject Classification ID

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

Recommendations

• Group announcement logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Coalition and relativised group announcement logic
• Model Checking for Coalition Announcement Logic
• Alternating-time temporal dynamic epistemic logic

Cites work

• A Modal Logic for Coalitional Power in Games
• Axiomatising the logic of computer programming
• Dynamic epistemic logic
• Dynamic epistemic temporal logic
• Epistemic planning for single- and multi-agent systems
• Group announcement logic
• Knowledge games and coalitional abilities
• Logics of public communications
• Putting right the wording and the proof of the truth lemma for \textit{APAL}
• Quantifying Notes
• The undecidability of quantified announcements
• `Knowable' as `known after an announcement'

Cited in

(6)

• scientific article; zbMATH DE number 7471709 (Why is no real title available?)
• To be announced
• Coalition and relativised group announcement logic
• Group announcement logic
• Model Checking for Coalition Announcement Logic
• Arbitrary public announcement logic with memory

This page was built for publication: Coalition and group announcement logic

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