Sciweavers

72
Voted
KR
2010
Springer
15 years 1 months ago
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:
Guillaume Aucher