Dynamic Epistemic Logic (1997)
by
Jelle Gerbrandy
| Venue: | Logic, Language, and Information 2, Stanford University, CSLI Publication |
| Citations: | 25 - 1 self |
BibTeX
@INPROCEEDINGS{Gerbrandy97dynamicepistemic,
author = {Jelle Gerbrandy},
title = {Dynamic Epistemic Logic},
booktitle = {Logic, Language, and Information 2, Stanford University, CSLI Publication},
year = {1997},
publisher = {CSLI Publications}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Dynamic semantics is a branch of formal semantics that is concerned with
Citations
| 1191 | Reasoning about knowledge - Fagin, Halpern, et al. - 1995 |
| 743 | First-Order Dynamic Logic - Harel - 1997 |
| 327 | Dynamic Predicate Logic - Groenendijk, Stokhof - 1991 |
| 186 | Non-well-founded sets - ACZEL - 1988 |
| 184 | Logics of Time and Computation - Goldblatt - 1992 |
| 139 | Exploring Logical Dynamics - Benthem - 1996 |
| 87 | Vicious circles - Barwise, Moss - 1996 |
| 78 | Presupposition and Assertion in Dynamic Semantics - Beaver - 2001 |
| 76 | Reasoning about information change - Gerbrandy, Groeneveld - 1997 |
| 29 | Pragmatics - Stalnaker, C - 1972 |
| 26 | Logical Investigations into Dynamic Semantics - Groeneveld - 1995 |
| 16 | On the Model Theory of Common Knowledge - Barwise - 1989 |
| 8 | Calculi for Constructive Communication - Jaspars - 1994 |
