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 a uniform way statements about:

• Type: Conference
• Year: 2010
• Where: KR
• Authors: Guillaume Aucher
• Keywords: Automated Reasoning, Dynamic Epistemic Logic, Dynamic Setting, KR 2010, Uniform Way Statements