182
click to vote
LFCS
2007
Springer
16 years 1 days ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...