Englisch

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

Otto, Martin (2006)
Bisimulation invariance and finite models.
Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum. Münster (03.08.2002-11.08.2002)
doi: 10.1017/9781316755723.013
Konferenzveröffentlichung, Bibliographie

Otto, Martin (2006)
The boundedness problem for monadic universal first-order logic.
21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006). Seattle, WA (12.08.2006-15.08.2006)
doi: https://doi.ieeecomputersociety.org/10.1109/LICS.2006.50
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

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