Putting right the wording and the proof of the truth lemma for \textit{APAL}

DOI10.1080/11663081.2015.1011489MaRDI QIDQ4586133zbMATH OpenOpenAlexWikidataFDO

Authors Philippe Balbiani

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2015.1011489

zbMATH Keywords

arbitrary announcementsaxiomatisationcompletenessdynamic epistemic logicpublic announcements

Mathematics Subject Classification ID

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

Recommendations

• `Knowable' as `known after an announcement'
• Fully arbitrary public announcements
• APAL with memory Ii better
• Revising a labelled sequent calculus for public announcement logic
• Undecidability for arbitrary public announcement logic

Cites work

• `Knowable' as `known after an announcement'
• Axiomatizations with context rules of inference in modal logic
• Dynamic epistemic logic
• Group announcement logic
• How arbitrary are arbitrary public announcements?
• Logics of public communications
• Multi-dimensional modal logic
• Subset space logic with arbitrary announcements
• Undecidability for arbitrary public announcement logic

Cited in

(10)

• Positive announcements
• Coalition and relativised group announcement logic
• Arbitrary public announcement logic with memory
• Coalition and group announcement logic
• Propositional quantification in logics of contingency
• Quantifying over Boolean announcements
• To be announced
• Unknown truths and unknowable truths
• A finitary axiomatization of arbitrary social announcement logic
• Arbitrary announcements in social networks: a finitary proof system

This page was built for publication: Putting right the wording and the proof of the truth lemma for \textit{APAL}

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