Putting right the wording and the proof of the Truth Lemma for APAL

Journal of Applied Non-Classical Logics 25 (1):2-19 (2015)
  Copy   BIBTEX

Abstract

is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. An incorrect Truth Lemma has been stated and ‘demonstrated’ in Balbiani et al. . In this paper, we put right the wording and the proof of the Truth Lemma for

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2015.1011489

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,962

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic.Sébastien Magnier & Tiago De Lima - unknown
'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.
Everything is learnable, once it is settled.Kevin Xu - 2021 - Synthese 199 (1-2):4795-4817.
T × W Completeness.Franz Kutschervona - 1997 - Journal of Philosophical Logic 26 (3):241-250.
T × W Completeness.Franz von Kutschera - 1997 - Journal of Philosophical Logic 26 (3):241-250.
The Undecidability of Quantified Announcements.T. Ågotnes, H. van Ditmarsch & T. French - 2016 - Studia Logica 104 (4):597-640.
A constructive proof of Craig's interpolation lemma for m-valued logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
The Undecidability of Quantified Announcements.T. French, H. Ditmarsch & T. Ågotnes - 2016 - Studia Logica 104 (4):597-640.

Analytics

Added to PP
2015-04-03

Downloads
39 (#641,402)

6 months
7 (#622,733)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.
Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.

Add more citations

References found in this work

Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 10 references / Add more references