Artikel

Otto, Martin (2004)
Modal and guarded characterisation theorems over finite transition systems.
In: Annals of pure and applied logic (0168-0072), 130
Artikel, Bibliographie

Buchkapitel

Otto, Martin (2007)
Model theory of modal logic.
In: Handbook of modal logic
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Otto, Martin (2006)
Bisimulation invariance and finite models.
Konferenzveröffentlichung, Bibliographie

Otto, Martin (2006)
The boundedness problem for monadic universal first-order logic.
Konferenzveröffentlichung, Bibliographie

Dawar, A. ; Otto, Martin (2005)
Modal characterisation theorems over special classes of frames.
Konferenzveröffentlichung, Bibliographie

Kieronski, E. ; Otto, Martin (2005)
Small substructures and decidability issues for two-variable first-order logic.
Konferenzveröffentlichung, Bibliographie