Michael J. Fischer, Neil Immerman. Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse. Inf. Process. Lett., 25(3):175-181, 1987.
@article{FischerI87,
title = {Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse},
author = {Michael J. Fischer and Neil Immerman},
year = {1987},
tags = {logic},
researchr = {https://researchr.org/publication/FischerI87},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {25},
number = {3},
pages = {175-181},
}