Connecting dynamic epistemic and temporal epistemic logics

, &
Logic Journal of the IGPL 21 (3):380-403 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzr038

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.
Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.
Finite identification from the viewpoint of epistemic update.Cédric Dégremont & Nina Gierasimczuk - 2011 - Information And Computation 209 (3):383-396.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
The dynamics of communication.Jan van Eijck - unknown
A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic.Sébastien Magnier & Tiago De Lima - unknown
Dynamic logics of knowledge and access.Tomohiro Hoshi & Eric Pacuit - 2010 - Synthese 177 (1):29 - 49.
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
Playing Cards with Hintikka: An introduction to dynamic epistemic logic.H. van Ditmarsch, W. van der Hoek & B. Kooi - 2005 - Australasian Journal of Logic 3:108-134.
Reduction axioms for epistemic actions.Johan van Benthem & Barteld Kooi - unknown
Reduction axioms for epistemic actions. Kooi, Barteld & van Benthem, Johan - unknown
Belief Revision in Dynamic Epistemic Logic and Ranking Theory.Peter Fritz - manuscript
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.

Analytics

Added to PP
2016-06-30

Downloads
33 (#459,370)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Wiebe Van Der Hoek
University of Liverpool
Hans Van Ditmarsch
LORIA
Jing Ruan
King's College London

Citations of this work

A general framework for dynamic epistemic logic: towards canonical correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.

Add more citations

References found in this work

No references found.

Add more references