2007

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

2006

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

2005

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

2004

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