Edit Profile (opens in new tab) Otto, Martin Co-Author Distance 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 571 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 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 22 Fields 182 Mathematical logic and foundations (03-XX) 158 Computer science (68-XX) 27 Combinatorics (05-XX) 9 Group theory and generalizations (20-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Topological groups, Lie groups (22-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Operations research, mathematical programming (90-XX) 3 General algebraic systems (08-XX) 2 History and biography (01-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 2 Mechanics of particles and systems (70-XX) 2 Information and communication theory, circuits (94-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Quantum theory (81-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.