Back and Forth between Guarded and Modal Logics.

Erich Grdel, Colin Hirsch, Martin Otto

Browse the full LICS paper archive.