Repository | Directory | Profile
Dynamic epistemic logic with branching temporal structures
2009
Tomohiro HoshiAudrey Yap
Synthese 169/2