Dynamic epistemic logic

Dynamic epistemic logic (DEL) is a logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL… (More)
  • figure 2
  • figure 3
Is this relevant?
2014
2014
Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a… (More)
  • figure 1
  • figure 2
Is this relevant?
2013
2013
Abstract. We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This… (More)
  • figure 1
  • table 1
Is this relevant?
2013
2013
This paper studies Aumann’s agreeing to disagree theorem from the perspective of dynamic epistemic logic. This was first done by… (More)
Is this relevant?
2011
2011
Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. The classic example is… (More)
  • figure 1
Is this relevant?
2009
2009
This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper (J Logic Lang… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Review
2008
Review
2008
In this overview we tell you the story of the rise of dynamic epistemic logic. It is of course a bit presumptious to call it a… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?