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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

On the Hamkins approximation property.William J. Mitchell - 2006 - Annals of Pure and Applied Logic 144 (1-3):126-129.
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.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
JM Cohen's claim on categorial grammars remains unproved.Wojciech Zielonka - 1985 - Bulletin of the Section of Logic 14 (4):130-133.
Intuitionistic Choice and Restricted Classical Logic.Ulrich Kohlenbach - 2001 - Mathematical Logic Quarterly 47 (4):455-460.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.

Analytics

Added to PP
2015-04-03

Downloads
21 (#630,965)

6 months
1 (#1,040,386)

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.
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.

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.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.

View all 12 references / Add more references