Dynamic epistemic logic with branching temporal structures

2009

Tomohiro Hoshi, Audrey Yap

Synthese 169 (2)