TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Otto, Martin (2007):
Model theory of modal logic.
In: Handbook of modal logic / edited by Patrick Blackburn .... - 1. ed.. - Amsterdam ; Heidelberg [u.a.] : Elsevier, 2007, S. 255-325 (Studies in logic and practical reasoning ; 3) ISBN: 978-0-444-51690-9, 1. ed.. - Amsterdam ; Heidelberg [u.a.], Elsevier, [Book Section]

Otto, Martin (2006):
Bisimulation invariance and finite models.
La Jolla, Calif, Association for Symbolic Logic, In: Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers. - La Jolla, [Conference or Workshop Item]

Otto, Martin (2006):
The boundedness problem for monadic universal first-order logic.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: Proceedings / 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 ; 12-15 August 2006, Seattle, Wash. ; proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. - Los Alamitos, Calif. [, [Conference or Workshop Item]

Dawar, A. and Otto, Martin (2005):
Modal characterisation theorems over special classes of frames.
In: LICS 05 : proceedings of 20th IEEE symposium on logic in computer science. - 2005, S. 21-30, [Conference or Workshop Item]

Kieronski, E. and Otto, Martin (2005):
Small substructures and decidability issues for two-variable first-order logic.
In: LICS 05 : proceedings of the 20th IEEE symposium on logic in computer science. - 2005, S. 448-457, [Conference or Workshop Item]

Otto, Martin (2004):
Modal and guarded characterisation theorems over finite transition systems.
In: Annals of pure and applied logic (0168-0072), pp. 173-205, 130, [Article]

This list was generated on Tue Nov 12 01:14:45 2019 CET.