Coalition and group announcement logic

zbMATH Open1483.03007arXiv1707.08746MaRDI QIDQ3384067FDOQ3384067

Authors: Rustam Galimullin, Natasha Alechina 

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08746

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• 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)