Heikki Tuominen. Translations from Epistemic into Dynamic Logic. In ECAI. pages 586-588, 1988.
@inproceedings{Tuominen88,
title = {Translations from Epistemic into Dynamic Logic},
author = {Heikki Tuominen},
year = {1988},
tags = {translation, logic},
researchr = {https://researchr.org/publication/Tuominen88},
cites = {0},
citedby = {0},
pages = {586-588},
booktitle = {ECAI},
}