Beth definability for the guarded fragment - Hoogland, Eva; Marx, Maarten; Otto, Martin (Inst. for Logic, Language and Computation, 1999)
Keywords: Modale logica