Quantifying over asynchronous information change

MaRDI QIDQ5104697zbMATH OpenFDO

Authors Philippe Balbiani, Saúl Fernández González, Hans van Ditmarsch

Publication date 15 September 2022

zbMATH Keywords

asynchronydynamic epistemic logicmodal logicquantifying over information change

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Asynchronous announcements
• Asynchronous announcements in a public channel
• From public announcements to asynchronous announcements
• Reasoning about knowledge and messages in asynchronous multi-agent systems
• Arbitrary arrow update logic

Cited in

(1)

• To be announced

This page was built for publication: Quantifying over asynchronous information change

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