Hans P. van Ditmarsch, Wiebe van der Hoek, Ji Ruan. Connecting dynamic epistemic and temporal epistemic logics. Logic Journal of the IGPL, 21(3):380-403, 2013. [doi]
@article{DitmarschHR13, title = {Connecting dynamic epistemic and temporal epistemic logics}, author = {Hans P. van Ditmarsch and Wiebe van der Hoek and Ji Ruan}, year = {2013}, doi = {10.1093/jigpal/jzr038}, url = {http://dx.doi.org/10.1093/jigpal/jzr038}, researchr = {https://researchr.org/publication/DitmarschHR13}, cites = {0}, citedby = {0}, journal = {Logic Journal of the IGPL}, volume = {21}, number = {3}, pages = {380-403}, }