Quantifying Notes

DOI10.1007/978-3-642-32621-9_8zbMath1362.03016OpenAlexW4251693623MaRDI QIDQ2915020

Hans P. 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

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

Related Items (8)

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

This page was built for publication: Quantifying Notes