Quantifying Notes

DOI10.1007/978-3-642-32621-9_8MaRDI QIDQ2915020zbMATH OpenOpenAlexFDO

Authors Hans van Ditmarsch

Publication date 21 September 2012

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32621-9_8

zbMATH Keywords

dynamic epistemic logicpublic announcement logicrefinement modal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cited in

(8)

• Logics with group announcements and distributed knowledge: completeness and expressive power
• Coalition and relativised group announcement logic
• Arbitrary public announcement logic with memory
• The undecidability of quantified announcements
• Coalition and group announcement logic
• Arbitrary arrow update logic
• Refinement modal logic
• To be announced

This page was built for publication: Quantifying Notes

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