Martin Otto

Model theory of modal logic

Valentin Goranko, Martin Otto, V. Goranko, 2007, Handbook of Modal Logic.

Bisimulation invariance and finite models

Martin Otto, M. Otto, 2006 .

Beth Deenability for the Guarded Fragment

M. Marx, Martin Otto, FragmentEva Hoogland, 1999 .

Bounded Variable Logics and Counting

Martin Otto, M. Otto, 1997 .

A Lindström characterisation of the guarded fragment and of modal logic with a global modality

Robert Piro, Martin Otto, Martin Otto, 2008, Advances in Modal Logic.

Automorphism Properties of Stationary Logic

Martin Otto, Martin Otto, 1992, J. Symb. Log..

ON VARIANTS OF DEPENDENCE LOGIC

Phokion G. Kolaitis, B. Thalheim, Martin Otto, 2015 .