Martin Otto - Author Profile

Edit Profile

Otto, Martin

Author ID:	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
	584 Co-Co-Authors

all top 5

Co-Authors

28	single-authored
7	Grädel, Erich
3	Ciardelli, Ivano A.
2	Blumensath, Achim
2	Canavoi, Felix
2	Grohe, Martin
2	Rosen, Eric
2	Van den Bussche, Jan
2	Weyer, Mark
1	Auinger, Karl
1	Bárány, Vince
1	Berger, Gerald
1	Bitterlich, Julian
1	Dawar, Anuj
1	Gottlob, Georg
1	Hirsch, Colin
1	Hodkinson, Ian Martin
1	Hoogland, Eva
1	Kieroński, Emanuel
1	Kolaitis, Phokion G.
1	Kreutzer, Stephan
1	Marx, Maarten
1	Meissner, Silke
1	Neven, Frank
1	Pieris, Andreas
1	Piro, Robert
1	Schweikardt, Nicole
1	Surinx, Dimitri
1	Tyszkiewicz, Jurek
1	van Den, Bussche Jan

all top 5

Serials

7	The Journal of Symbolic Logic
4	Annals of Pure and Applied Logic
3	Archive for Mathematical Logic
2	Information Processing Letters
2	Theoretical Computer Science
2	The Bulletin of Symbolic Logic
2	Logical Methods in Computer Science
1	Journal of Geometry and Physics
1	Information and Computation
1	Journal of the ACM
1	ACM Transactions on Computational Logic
1	Lecture Notes in Logic
1	The Review of Symbolic Logic

all top 5

Fields

49	Mathematical logic and foundations (03-XX)
23	Computer science (68-XX)
12	Combinatorics (05-XX)
6	Group theory and generalizations (20-XX)
2	Manifolds and cell complexes (57-XX)
2	Operations research, mathematical programming (90-XX)
2	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	General algebraic systems (08-XX)
1	Dynamical systems and ergodic theory (37-XX)
1	Differential geometry (53-XX)
1	Mechanics of particles and systems (70-XX)
1	Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

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

all top 5

Cited by 343 Authors

18	Grädel, Erich
15	Grohe, Martin
15	Otto, Martin
13	Benedikt, Michael A.
12	Dawar, Anuj
10	Montanari, Angelo
10	ten Cate, Balder David
8	Van den Bussche, Jan
7	Sala, Pietro
7	Sciavicco, Guido
6	Bresolin, Davide
6	Fernández Duque, David
6	Kieroński, Emanuel
6	Pakusa, Wied
6	Pratt-Hartmann, Ian
5	Hubička, Jan
5	Kiefer, Sandra
5	Lange, Martin
5	Nešetřil, Jaroslav
5	van Benthem, Johan F. A. K.
5	Vanden Boom, Michael
5	Zeume, Thomas
4	Atserias, Albert
4	Bárány, Vince
4	Barceló, Pablo
4	Bednarczyk, Bartosz
4	Bollig, Benedikt
4	Bourhis, Pierre
4	Gurevich, Yuri
4	Gyssens, Marc
4	Konečný, Matěj
4	Martin, Barnaby D.
4	Pieris, Andreas
4	Romero, Miguel
4	Segoufin, Luc
4	Tendera, Lidia
4	Van Gucht, Dirk
4	Walukiewicz, Igor
3	Abramsky, Samson
3	Badia, Guillermo
3	Ciardelli, Ivano A.
3	D’Agostino, Giovanna
3	Demri, Stéphane P.
3	Deters, Morgan
3	Evans, David M.
3	Facchini, Alessandro
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	Krebs, Andreas
3	Leinders, Dirk
3	Lenzi, Giacomo
3	Lutz, Carsten
3	Michaliszyn, Jakub
3	Moss, Lawrence S.
3	Neuen, Daniel
3	Olkhovikov, Grigory K.
3	Rattan, Gaurav
3	Schweikardt, Nicole
3	Schweitzer, Pascal
3	Skrzypczak, Michał
3	Turull Torres, Jose Maria
3	Verbitsky, Oleg
3	Witkowski, Piotr
2	Amarilli, Antoine
2	Amendola, Giovanni
2	Andréka, Hajnal
2	Areces, Carlos
2	Arvind, Vikraman
2	Berger, Gerald
2	Blass, Andreas Raphael
2	Blumensath, Achim
2	Bodirsky, Manuel
2	Bojańczyk, Mikołaj
2	Brijder, Robert
2	Bruse, Florian
2	Carreiro, Facundo
2	Charatonik, Witold
2	Colcombet, Thomas
2	Danielski, Daniel
2	Elberfeld, Michael
2	Figueira, Santiago
2	Goldblatt, Robert Ian
2	Goranko, Valentin F.
2	Grumbach, Stéphane
2	Köbler, Johannes
2	Kolaitis, Phokion G.
2	Kotek, Tomer
2	Lehtinen, Karoliina
2	Leone, Nicola
2	Lodaya, Kamal
2	Lozes, Etienne
2	Madelaine, Florent R.
2	Makowsky, Johann-Andreas
2	Manna, Marco
...and 243 more Authors

all top 5

Cited in 58 Serials

20	Theoretical Computer Science
18	Annals of Pure and Applied Logic
14	The Journal of Symbolic Logic
13	ACM Transactions on Computational Logic
13	Logical Methods in Computer Science
9	Information and Computation
8	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	SIAM Journal on Computing
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	Journal of the London Mathematical Society. Second Series
2	Notre Dame Journal of Formal Logic
2	Synthese
2	Transactions of the American Mathematical Society
2	SIAM Journal on Discrete Mathematics
2	Archive for Mathematical Logic
2	Journal of the ACM
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	Proceedings of the American Mathematical Society
1	Proceedings of the London Mathematical Society. Third Series
1	Neural Networks
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	The Journal of Artificial Intelligence Research (JAIR)
1	Doklady Mathematics
1	Journal of Combinatorial Optimization
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
1	TheoretiCS

all top 5

Cited in 23 Fields

225	Mathematical logic and foundations (03-XX)
188	Computer science (68-XX)
38	Combinatorics (05-XX)
13	Group theory and generalizations (20-XX)
8	Operations research, mathematical programming (90-XX)
8	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6	Topological groups, Lie groups (22-XX)
6	Dynamical systems and ergodic theory (37-XX)
4	General algebraic systems (08-XX)
4	Category theory; homological algebra (18-XX)
3	General topology (54-XX)
2	History and biography (01-XX)
2	Linear and multilinear algebra; matrix theory (15-XX)
2	Mechanics of particles and systems (70-XX)
2	Quantum theory (81-XX)
2	Information and communication theory, circuits (94-XX)
1	Commutative algebra (13-XX)
1	Associative rings and algebras (16-XX)
1	Approximations and expansions (41-XX)
1	Differential geometry (53-XX)
1	Manifolds and cell complexes (57-XX)
1	Global analysis, analysis on manifolds (58-XX)
1	Systems theory; control (93-XX)

Citations by Year

Wikidata Timeline

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