Connecting dynamic epistemic and temporal epistemic logics

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]

Authors

Hans P. van Ditmarsch

This author has not been identified. Look up 'Hans P. van Ditmarsch' in Google

Wiebe van der Hoek

This author has not been identified. It may be one of the following persons: Look up 'Wiebe van der Hoek' in Google

Ji Ruan

This author has not been identified. Look up 'Ji Ruan' in Google