A Dynamic Epistemic Logic with a Knowability Principle

In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science. Berlin: Springer. pp. 406-410 (2015)
  Copy   BIBTEX

Abstract

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

Categories

Keywords

Reprint years

Links

PhilArchive

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

Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Outstanding Contributions to Logic: Jaakko Hintikka. Springer.
Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 363-394.
Epistemic Logic and Epistemology.Wesley H. Holliday - 2018 - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer. pp. 351-369.
Factivity, consistency and knowability.James Chase & Penelope Rush - 2018 - Synthese 195 (2):899-918.
Distributed Knowability and Fitch’s Paradox.Rafał Palczewski - 2007 - Studia Logica 86 (3):455-478.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Discovering knowability: a semantic analysis.Sergei Artemov & Tudor Protopopescu - 2013 - Synthese 190 (16):3349-3376.
Fitch’s Paradox, Stumbling Block or Touchstone for Knowability.Bruno Maret - 2012 - Dissertation, Paris 1
The Church–Fitch knowability paradox in the light of structural proof theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.
Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic that Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.
Knowability and the capacity to know.Michael Fara - 2010 - Synthese 173 (1):53 - 73.
Lost in translation: unknowable propositions in probabilistic frameworks.Eleonora Cresto - 2017 - Synthese 194 (10):3955-3977.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
How to solve the knowability paradox with transcendental epistemology.Andrew Stephenson - 2018 - Synthese 198 (Suppl 13):3253-3278.

Analytics

Added to PP
2020-06-02

Downloads
321 (#60,778)

6 months
57 (#74,893)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Cohen
Tilburg University

Citations of this work

Add more citations

References found in this work

Fitch's Paradox of Knowability.Berit Brogaard & Joe Salerno - 2010 - The Stanford Encyclopedia of Philosophy.

Add more references