- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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)
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.Author's Profile
Other Versions
No versions found
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.
Factivity, consistency and knowability.James Chase & Penelope Rush - 2018 - Synthese 195 (2):899-918.
Epistemic Logic and Epistemology.Wesley H. Holliday - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 351-369.
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic.Rasmus Kraemmer Rendsvig - 2015 - In Wiebe Van Der Hoek, Wesley H. Holliday & W. Wang (eds.), ogic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, vol 9394. Springer.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
PAC vs. DEMAL. A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge.Sébastien Magnier - unknown
Contemporary Epistemic Logic and the Lockean Thesis.Lorenz Demey - 2013 - Foundations of Science 18 (4):599-610.
'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.
Analytics
Added to PP
2020-06-02
Downloads
483 (#59,749)
6 months
104 (#56,979)
2020-06-02
Downloads
483 (#59,749)
6 months
104 (#56,979)
Historical graph of downloads
Author's Profile
Citations of this work
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.
References found in this work
Fitch's Paradox of Knowability.Berit Brogaard & Joe Salerno - 2010 - The Stanford Encyclopedia of Philosophy.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-2w72m uwo