Erich Grädel, Colin Hirsch, Martin Otto. Back and Forth between Guarded and Modal Logics. In LICS. pages 217-228, 2000. [doi]
@inproceedings{GradelHO00,
title = {Back and Forth between Guarded and Modal Logics},
author = {Erich Grädel and Colin Hirsch and Martin Otto},
year = {2000},
url = {http://www.computer.org/proceedings/lics/0725/07250217abs.htm},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/GradelHO00},
cites = {0},
citedby = {0},
pages = {217-228},
booktitle = {LICS},
}