APAL with memory Ii better

DOI10.1007/978-3-662-57669-4_6MaRDI QIDQ1799274zbMATH OpenOpenAlexFDO

Authors Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas-Sandoval

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-662-57669-4_6

Mathematics Subject Classification ID

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

Recommendations

• `Knowable' as `known after an announcement'
• Fully arbitrary public announcements
• On axiomatizations of public announcement logic
• Undecidability for arbitrary public announcement logic
• Group announcement logic

Cited in

(8)

• To be announced
• Coalition and relativised group announcement logic
• Putting right the wording and the proof of the truth lemma for \textit{APAL}
• Basic model theory for memory logics
• Arbitrary public announcement logic with memory
• Fully arbitrary public announcements
• On axiomatizations of PAL
• A logical formalisation of false belief tasks

This page was built for publication: APAL with memory Ii better

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