Skip to search formSkip to main contentSkip to account menu

Dynamic epistemic logic

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

Related topics

Related topics

19 relations

Broader (1)

Artificial intelligence
Cognitive scienceCommon knowledge (logic)Complexity classComputability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Dynamic Epistemic Logic
Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied… 
2011
2011
Dynamic Epistemic Logic and Temporal Modality
Dynamic epistemic logic allows us to model agents who learn new information about the world from events which they observe. In… 
2010
2010
Planning based on dynamic epistemic logic
1 Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE Amsterdam, The Netherlands; b… 
2010
2010
Characterizing Updates in Dynamic Epistemic Logic
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in… 
2010
2010
Modeling Epistemic Actions in Dynamic Epistemic Logic using Coq
In this paper we reason about knowledge in multi-agent systems composed of intelligent agents by using Coq - a formal proof… 
2009
2009
Dynamic Epistemic Logic of Finite Identification
Following the approach given by Nina Gierasimczuk [2009] to bridge dynamic epistemic logic and learning theory, the logic of… 
2008
2008
Comments on 'The Logic of Conditional Doxastic Actions'
I first summarize Baltag and Smets’ contribution to this volume, and praise their work. Then I compare the anti-lexicographic… 
2007
2007
Adding temporal logic to dynamic epistemic logic
This dissertation adds to dynamic epistemic logic temporal operators that help us reason about time. Dynamic epistemic logic… 
2004
2004
Advances in Dynamic Epistemic Logic
The paper fixes a formalization of dynamic epistemic logic, loosely based on Baltag, Moss, Solecki [1], and proves a number of… 
2004
2004
MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO
We are interested in applying model checking techniques to the verification of communication protocols that require safe… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)