130
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...