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.
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.
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05). Chicago, IL, USA (26.06.2005-29.06.2005)
doi: 10.1109/LICS.2005.27
Konferenzveröffentlichung, Bibliographie

Kieronski, E. ; Otto, Martin (2005)
Small substructures and decidability issues for two-variable first-order logic.
20th IEEE symposium on logic in computer science (LICS 05). Chicago, IL, USA (26.06.2005-29.06.2005)
doi: 10.1109/LICS.2005.49
Konferenzveröffentlichung, Bibliographie