Keywords Modal logicEpistemic logicDELETLDynamic epistemic logic
Tomohiro HoshiAudrey Yap · 2009
van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1 995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic