Dynamic Epistemic Logic

By Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. 2007

632 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/dfa6cc9962a9574c60af3f655bca42618c5a866c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Eric McCready
2. J. Benthem
3. Sonja Smets
4. Alexandru Baltag
5. Adam M. Croom

In Computational Theory and Mathematics

1. J. Benthem

Citations in the corpus

• Dynamic logic for belief revision (2007, background): “Here is a typical valid reduction axiom for knowledge of agents: Cf. (van Benthem, 2006a; van Ditmarsch et al. , 2007; van Benthem et al. , 2006c) for further dynamic-epistemic logics working in the same compositional style as above.”
• Varieties of conventional implicature (2010, background): “52 See van Ditmarsch et al. (2007) for the semantics of this operator.”