×
Author ID: otto.martin Recent zbMATH articles by "Otto, Martin"
Published as: Otto, Martin
Homepage: http://www.mathematik.tu-darmstadt.de/~otto/
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 57 Publications since 1987, including 2 Books and 8 Additional arXiv Preprints
Co-Authors: 27 Co-Authors with 28 Joint Publications
571 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 336 times in 250 Documents Cited by Year
Bounded variable logics and counting: a study in finite models. Zbl 0869.03018
Otto, Martin
38
1997
On logics with two variables. Zbl 0948.03023
Grädel, Erich; Otto, Martin
27
1999
Modal characterisation theorems over special classes of frames. Zbl 1185.03027
Dawar, Anuj; Otto, Martin
21
2009
Undecidability results on two-variable logics. Zbl 0927.03015
Grädel, Erich; Otto, Martin; Rosen, Eric
20
1999
Inductive definability with counting on finite structures. Zbl 0792.68061
Grädel, Erich; Otto, Martin
19
1993
Two variable first-order logic over ordered domains. Zbl 0990.03005
Otto, Martin
19
2001
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
19
2014
Back and forth between guarded and modal logics. Zbl 1365.03019
Grädel, Erich; Hirsch, Colin; Otto, Martin
14
2002
Pebble games and linear equations. Zbl 1353.03018
Grohe, Martin; Otto, Martin
14
2015
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin
13
2003
The expressive power of fixed-point logic with counting. Zbl 0854.03024
Otto, Martin
11
1996
Beth definability for the guarded fragment. Zbl 0939.03038
Hoogland, Eva; Marx, Maarten; Otto, Martin
9
1999
Modal and guarded characterisation theorems over finite transition systems. Zbl 1056.03018
Otto, Martin
9
2004
Eliminating recursion in the \(\mu\)-calculus. Zbl 0924.03029
Otto, Martin
8
1999
Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus. Zbl 0930.03030
Otto, Martin
8
1999
A Lindström characterisation of the guarded fragment and of modal logic with a global modality. Zbl 1244.03070
Otto, Martin; Piro, Robert
8
2008
Small substructures and decidability issues for first-order logic with two variables. Zbl 1284.03136
Kieroński, Emanuel; Otto, Martin
8
2012
The freedoms of (guarded) bisimulation. Zbl 1344.03024
Grädel, Erich; Otto, Martin
6
2014
Bisimulation invariance and finite models. Zbl 1102.03036
Otto, Martin
6
2006
A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\). Zbl 0875.68673
Otto, Martin
5
1995
An interpolation theorem. Zbl 0981.03040
Otto, Martin
5
2000
Decidability results for the boundedness problem. Zbl 1337.03019
Blumensath, Achim; Otto, Martin; Weyer, Mark
5
2014
Pebble games and linear equations. Zbl 1252.03084
Grohe, Martin; Otto, Martin
5
2012
Bisimulation in inquisitive modal logic. Zbl 1483.03016
Ciardelli, Ivano; Otto, Martin
5
2017
First-order queries on databases embedded in an infinite structure. Zbl 0875.68356
Otto, Martin; Van den Bussche, Jan
3
1996
Canonization for two variables and puzzles on the square. Zbl 0874.03039
Otto, Martin
3
1997
The logic of explicitly presentation-invariant circuits. Zbl 0889.03021
Otto, Martin
3
1997
Epsilon-logic is more expressive than first-order logic over finite structures. Zbl 0994.03028
Otto, Martin
3
2000
A reduction scheme for phase spaces with almost Kähler symmetry. Regularity results for momentum level sets. Zbl 0642.53040
Otto, Martin
3
1987
Highly acyclic groups, hypergraph covers, and the guarded fragment. Zbl 1281.03008
Otto, Martin
3
2012
Capturing bisimulation-invariant Ptime. Zbl 0891.03016
Otto, Martin
2
1997
Bounded variable logics: Two, three, and more. Zbl 0933.03039
Otto, Martin
2
1999
Expressive completeness through logically tractable models. Zbl 1320.03067
Otto, Martin
2
2013
Model theoretic methods for fragments of FO and special classes of (finite) structures. Zbl 1248.03052
Otto, Martin
2
2011
Inquisitive bisimulation. Zbl 07370807
Ciardelli, Ivano; Otto, Martin
2
2021
Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken. (Ehrenfeucht-Mostowski constructions in extended logics). Zbl 0714.03031
Otto, Martin
1
1990
Automorphism properties of stationary logic. Zbl 0768.03024
Otto, Martin
1
1992
On the boundedness problem for two-variable first-order logic. Zbl 0945.03548
Kolaitis, Phokion G.; Otto, Martin
1
1998
Adding for-loops to first-order logic. Zbl 1007.68042
Neven, Frank; Otto, Martin; Tyszkiewicz, Jurek; Van den Bussche, Jan
1
2001
Undecidability results on two-variable logics. Zbl 1498.03026
Grädel, Erich; Otto, Martin; Rosen, Eric
1
1997
Guarded teams: the horizontally guarded case. Zbl 07650835
Grädel, Erich; Otto, Martin
1
2020
Inquisitive bisimulation. Zbl 07370807
Ciardelli, Ivano; Otto, Martin
2
2021
Guarded teams: the horizontally guarded case. Zbl 07650835
Grädel, Erich; Otto, Martin
1
2020
Bisimulation in inquisitive modal logic. Zbl 1483.03016
Ciardelli, Ivano; Otto, Martin
5
2017
Pebble games and linear equations. Zbl 1353.03018
Grohe, Martin; Otto, Martin
14
2015
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
19
2014
The freedoms of (guarded) bisimulation. Zbl 1344.03024
Grädel, Erich; Otto, Martin
6
2014
Decidability results for the boundedness problem. Zbl 1337.03019
Blumensath, Achim; Otto, Martin; Weyer, Mark
5
2014
Expressive completeness through logically tractable models. Zbl 1320.03067
Otto, Martin
2
2013
Small substructures and decidability issues for first-order logic with two variables. Zbl 1284.03136
Kieroński, Emanuel; Otto, Martin
8
2012
Pebble games and linear equations. Zbl 1252.03084
Grohe, Martin; Otto, Martin
5
2012
Highly acyclic groups, hypergraph covers, and the guarded fragment. Zbl 1281.03008
Otto, Martin
3
2012
Model theoretic methods for fragments of FO and special classes of (finite) structures. Zbl 1248.03052
Otto, Martin
2
2011
Modal characterisation theorems over special classes of frames. Zbl 1185.03027
Dawar, Anuj; Otto, Martin
21
2009
A Lindström characterisation of the guarded fragment and of modal logic with a global modality. Zbl 1244.03070
Otto, Martin; Piro, Robert
8
2008
Bisimulation invariance and finite models. Zbl 1102.03036
Otto, Martin
6
2006
Modal and guarded characterisation theorems over finite transition systems. Zbl 1056.03018
Otto, Martin
9
2004
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin
13
2003
Back and forth between guarded and modal logics. Zbl 1365.03019
Grädel, Erich; Hirsch, Colin; Otto, Martin
14
2002
Two variable first-order logic over ordered domains. Zbl 0990.03005
Otto, Martin
19
2001
Adding for-loops to first-order logic. Zbl 1007.68042
Neven, Frank; Otto, Martin; Tyszkiewicz, Jurek; Van den Bussche, Jan
1
2001
An interpolation theorem. Zbl 0981.03040
Otto, Martin
5
2000
Epsilon-logic is more expressive than first-order logic over finite structures. Zbl 0994.03028
Otto, Martin
3
2000
On logics with two variables. Zbl 0948.03023
Grädel, Erich; Otto, Martin
27
1999
Undecidability results on two-variable logics. Zbl 0927.03015
Grädel, Erich; Otto, Martin; Rosen, Eric
20
1999
Beth definability for the guarded fragment. Zbl 0939.03038
Hoogland, Eva; Marx, Maarten; Otto, Martin
9
1999
Eliminating recursion in the \(\mu\)-calculus. Zbl 0924.03029
Otto, Martin
8
1999
Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus. Zbl 0930.03030
Otto, Martin
8
1999
Bounded variable logics: Two, three, and more. Zbl 0933.03039
Otto, Martin
2
1999
On the boundedness problem for two-variable first-order logic. Zbl 0945.03548
Kolaitis, Phokion G.; Otto, Martin
1
1998
Bounded variable logics and counting: a study in finite models. Zbl 0869.03018
Otto, Martin
38
1997
Canonization for two variables and puzzles on the square. Zbl 0874.03039
Otto, Martin
3
1997
The logic of explicitly presentation-invariant circuits. Zbl 0889.03021
Otto, Martin
3
1997
Capturing bisimulation-invariant Ptime. Zbl 0891.03016
Otto, Martin
2
1997
Undecidability results on two-variable logics. Zbl 1498.03026
Grädel, Erich; Otto, Martin; Rosen, Eric
1
1997
The expressive power of fixed-point logic with counting. Zbl 0854.03024
Otto, Martin
11
1996
First-order queries on databases embedded in an infinite structure. Zbl 0875.68356
Otto, Martin; Van den Bussche, Jan
3
1996
A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\). Zbl 0875.68673
Otto, Martin
5
1995
Inductive definability with counting on finite structures. Zbl 0792.68061
Grädel, Erich; Otto, Martin
19
1993
Automorphism properties of stationary logic. Zbl 0768.03024
Otto, Martin
1
1992
Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken. (Ehrenfeucht-Mostowski constructions in extended logics). Zbl 0714.03031
Otto, Martin
1
1990
A reduction scheme for phase spaces with almost Kähler symmetry. Regularity results for momentum level sets. Zbl 0642.53040
Otto, Martin
3
1987
all top 5

Cited by 302 Authors

16 Grädel, Erich
14 Otto, Martin
13 Grohe, Martin
10 Dawar, Anuj
10 Montanari, Angelo
8 Van den Bussche, Jan
7 Benedikt, Michael A.
7 Sala, Pietro
7 Sciavicco, Guido
7 ten Cate, Balder David
6 Bresolin, Davide
5 Fernández Duque, David
5 Lange, Martin
5 Pratt-Hartmann, Ian
5 van Benthem, Johan F. A. K.
4 Bárány, Vince
4 Barceló, Pablo
4 Gurevich, Yuri
4 Gyssens, Marc
4 Hubička, Jan
4 Kiefer, Sandra
4 Kieroński, Emanuel
4 Konečný, Matěj
4 Martin, Barnaby D.
4 Nešetřil, Jaroslav
4 Pieris, Andreas
4 Romero, Miguel
4 Segoufin, Luc
4 Van Gucht, Dirk
4 Walukiewicz, Igor
3 Badia, Guillermo
3 Bednarczyk, Bartosz
3 Bollig, Benedikt
3 Ciardelli, Ivano A.
3 D’Agostino, Giovanna
3 Demri, Stéphane P.
3 Deters, Morgan
3 Ferrarotti, Flavio Antonio
3 Fontaine, Gaëlle
3 Fortin, Marie-Josée
3 Gastin, Paul
3 Geerts, Floris
3 Gottlob, Georg
3 Hodkinson, Ian Martin
3 Jung, Jean Christoph
3 Leinders, Dirk
3 Lenzi, Giacomo
3 Lutz, Carsten
3 Moss, Lawrence S.
3 Neuen, Daniel
3 Olkhovikov, Grigory K.
3 Pakusa, Wied
3 Rattan, Gaurav
3 Schweikardt, Nicole
3 Tendera, Lidia
3 Turull Torres, Jose Maria
3 Zeume, Thomas
2 Abramsky, Samson
2 Amarilli, Antoine
2 Amendola, Giovanni
2 Andréka, Hajnal
2 Areces, Carlos
2 Arvind, Vikraman
2 Atserias, Albert
2 Berger, Gerald
2 Blass, Andreas Raphael
2 Blumensath, Achim
2 Bojańczyk, Mikołaj
2 Bourhis, Pierre
2 Brijder, Robert
2 Bruse, Florian
2 Evans, David M.
2 Figueira, Santiago
2 Goldblatt, Robert Ian
2 Goranko, Valentin F.
2 Grumbach, Stéphane
2 Köbler, Johannes
2 Kolaitis, Phokion G.
2 Lehtinen, Karoliina
2 Leone, Nicola
2 Lozes, Etienne
2 Madelaine, Florent R.
2 Makowsky, Johann-Andreas
2 Manna, Marco
2 Németi, István
2 Padmanabha, Anantha
2 Pazzaglia, Marco
2 Pongrácz, András
2 Ramanujam, R.
2 Ratiu, Tudor Stefan
2 Rosen, Eric
2 Rossman, Benjamin
2 Rybakov, Mikhail Nikolaevich
2 Sági, Gábor
2 Shtakser, Gennady
2 Skrzypczak, Michał
2 Stewart, Iain A.
2 Surinx, Dimitri
2 van Ditmarsch, Hans Pieter
2 Vanden Boom, Michael
...and 202 more Authors
all top 5

Cited in 54 Serials

20 Theoretical Computer Science
17 Annals of Pure and Applied Logic
14 The Journal of Symbolic Logic
13 ACM Transactions on Computational Logic
10 Logical Methods in Computer Science
9 Information and Computation
7 Journal of Computer and System Sciences
5 Journal of Logic, Language and Information
5 Theory of Computing Systems
4 Information Processing Letters
4 Studia Logica
4 Mathematical Logic Quarterly (MLQ)
4 Annals of Mathematics and Artificial Intelligence
3 Journal of Philosophical Logic
3 Journal of Automated Reasoning
3 Journal of Applied Non-Classical Logics
3 The Bulletin of Symbolic Logic
3 Journal of Applied Logic
3 Logica Universalis
2 Artificial Intelligence
2 Discrete Mathematics
2 Fuzzy Sets and Systems
2 Notre Dame Journal of Formal Logic
2 SIAM Journal on Computing
2 Synthese
2 Transactions of the American Mathematical Society
2 SIAM Journal on Discrete Mathematics
2 Archive for Mathematical Logic
2 RAIRO. Theoretical Informatics and Applications
2 Fundamenta Informaticae
1 Acta Informatica
1 Communications in Mathematical Physics
1 Journal of Mathematical Physics
1 Journal of Geometry and Physics
1 Algebra Universalis
1 Commentationes Mathematicae Universitatis Carolinae
1 Fundamenta Mathematicae
1 Information Sciences
1 Journal of Combinatorial Theory. Series B
1 Journal of the London Mathematical Society. Second Series
1 Proceedings of the American Mathematical Society
1 International Journal of Foundations of Computer Science
1 Automation and Remote Control
1 Computational Complexity
1 Filomat
1 The Electronic Journal of Combinatorics
1 Doklady Mathematics
1 Journal of Combinatorial Optimization
1 Journal of the ACM
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 The Review of Symbolic Logic
1 Logicheskie Issledovaniya

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.