Putting right the wording and the proof of the Truth Lemma forAPAL

DOI10.1080/11663081.2015.1011489zbMath1398.03069OpenAlexW1990841069WikidataQ124808550 ScholiaQ124808550MaRDI QIDQ4586133

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

completenessaxiomatisationdynamic epistemic logicpublic announcementsarbitrary announcements

Mathematics Subject Classification ID

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

Related Items (7)

Propositional quantification in logics of contingency ⋮ To be announced ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalition and relativised group announcement logic ⋮ Positive announcements

Cites Work

• Unnamed Item
• Dynamic epistemic logic
• Group announcement logic
• Multi-dimensional modal logic
• Axiomatizations with context rules of inference in modal logic
• Logics of public communications
• Subset Space Logic with Arbitrary Announcements
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• How Arbitrary Are Arbitrary Public Announcements?

This page was built for publication: Putting right the wording and the proof of the Truth Lemma forAPAL