scientific article

zbMath1483.03007arXiv1707.08746MaRDI QIDQ3384067

Rustam Galimullin, Natasha Alechina

Publication date: 14 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

To be announced ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Coalition and relativised group announcement logic

Cites Work

• The undecidability of quantified announcements
• Dynamic epistemic logic
• Group announcement logic
• Axiomatising the logic of computer programming
• Logics of public communications
• Epistemic planning for single- and multi-agent systems
• Quantifying Notes
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Dynamic Epistemic Temporal Logic
• A Modal Logic for Coalitional Power in Games
• Putting right the wording and the proof of the Truth Lemma forAPAL
• Knowledge Games and Coalitional Abilities

This page was built for publication: