default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Otto 0001
Person information
- affiliation: TU Darmstadt, Germany
Other persons with the same name
- Martin Otto 0002
![[0009-0000-3137-6180]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0009-0000-3137-6180")
— Siemens, Germany (and 1 more) - Martin Otto 0003 — AMO GmbH, Advanced Microelectronic Center Aachen (AMICA), Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[i6]Ivano Ciardelli, Martin Otto:
On the expressive power of inquisitive epistemic logic. CoRR abs/2312.14573 (2023)- 2022
- [j27]Silke Meissner, Martin Otto:
A First-order Framework for Inquisitive Modal Logic. Rev. Symb. Log. 15(2): 311-333 (2022) - 2021
- [j26]Ivano Ciardelli, Martin Otto:
Inquisitive Bisimulation. J. Symb. Log. 86(1): 77-109 (2021) - 2020
- [c29]Erich Grädel, Martin Otto:
Guarded Teams: The Horizontally Guarded Case. CSL 2020: 22:1-22:17
2010 – 2019
- 2019
- [c28]Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche:
Additive First-Order Queries. ICDT 2019: 19:1-19:14 - [i5]Felix Canavoi, Martin Otto:
Cayley structures and common knowledge. CoRR abs/1909.11521 (2019) - [i4]Martin Otto:
Graded modal logic and counting bisimulation. CoRR abs/1910.00039 (2019) - 2018
- [i3]Ivano Ciardelli, Martin Otto:
Inquisitive bisimulation. CoRR abs/1803.03483 (2018) - 2017
- [b2]Martin Otto:
Bounded Variable Logics and Counting: A Study in Finite Models. Lecture Notes in Logic 9, Cambridge University Press 2017, ISBN 9781316716878 - [c27]Felix Canavoi, Martin Otto:
Common knowledge and multi-scale locality analysis in Cayley structures. LICS 2017: 1-12 - [c26]Ivano Ciardelli, Martin Otto:
Bisimulation in Inquisitive Modal Logic. TARK 2017: 151-166 - 2015
- [j25]Martin Grohe, Martin Otto:
Pebble Games and linear equations. J. Symb. Log. 80(3): 797-844 (2015) - 2014
- [j24]Vince Bárány, Georg Gottlob, Martin Otto:
Querying the Guarded Fragment. Log. Methods Comput. Sci. 10(2) (2014) - [j23]Achim Blumensath, Martin Otto, Mark Weyer:
Decidability Results for the Boundedness Problem. Log. Methods Comput. Sci. 10(3) (2014) - [p3]Erich Grädel, Martin Otto:
The Freedoms of (Guarded) Bisimulation. Johan van Benthem on Logic and Information Dynamics 2014: 3-31 - 2013
- [j22]Martin Otto:
Expressive completeness through logically tractable models. Ann. Pure Appl. Log. 164(12): 1418-1453 (2013) - [c25]Martin Otto:
Bisimulation and Coverings for Graphs and Hypergraphs. ICLA 2013: 5-16 - [c24]Martin Otto:
Groupoids, Hypergraphs, and Symmetries in Finite Models. LICS 2013: 53-62 - 2012
- [j21]Martin Otto:
Highly acyclic groups, hypergraph covers, and the guarded fragment. J. ACM 59(1): 5:1-5:40 (2012) - [j20]Emanuel Kieronski, Martin Otto:
Small substructures and decidability issues for first-order logic with two variables. J. Symb. Log. 77(3): 729-765 (2012) - [j19]Vince Bárány, Balder ten Cate, Martin Otto:
Queries with Guarded Negation. Proc. VLDB Endow. 5(11): 1328-1339 (2012) - [c23]Martin Grohe, Martin Otto:
Pebble Games and Linear Equations. CSL 2012: 289-304 - [i2]Vince Bárány, Balder ten Cate, Martin Otto:
Queries with Guarded Negation (full version). CoRR abs/1203.0077 (2012) - [i1]Martin Grohe, Martin Otto:
Pebble Games and Linear Equations. CoRR abs/1204.1990 (2012) - 2011
- [c22]Martin Otto:
The Freedoms of Guarded Bisimulation. CSL 2011: 2 - [p2]Martin Otto:
Model theoretic methods for fragments of FO and special classes of (finite) structures. Finite and Algorithmic Model Theory 2011: 271- - 2010
- [c21]Vince Bárány, Georg Gottlob, Martin Otto:
Querying the Guarded Fragment. LICS 2010: 1-10 - [c20]Martin Otto:
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. LICS 2010: 11-20
2000 – 2009
- 2009
- [j18]Anuj Dawar, Martin Otto:
Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Log. 161(1): 1-42 (2009) - [c19]Achim Blumensath, Martin Otto, Mark Weyer:
Boundedness of Monadic Second-Order Formulae over Finite Words. ICALP (2) 2009: 67-78 - 2008
- [c18]Martin Otto, Robert Piro:
A Lindström characterisation of the guarded fragment and of modal logic with a global modality. Advances in Modal Logic 2008: 273-287 - 2007
- [c17]Stephan Kreutzer, Martin Otto, Nicole Schweikardt:
Boundedness of Monadic FO over Acyclic Structures. ICALP 2007: 571-582 - [p1]Valentin Goranko, Martin Otto:
Model theory of modal logic. Handbook of Modal Logic 2007: 249-329 - 2006
- [c16]Martin Otto:
The Boundedness Problem for Monadic Universal First-Order Logic. LICS 2006: 37-48 - 2005
- [c15]Anuj Dawar, Martin Otto:
Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30 - [c14]Emanuel Kieronski, Martin Otto:
Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS 2005: 448-457 - 2004
- [j17]Martin Otto:
Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Log. 130(1-3): 173-205 (2004) - 2003
- [j16]Ian M. Hodkinson, Martin Otto:
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bull. Symb. Log. 9(3): 387-407 (2003) - 2002
- [j15]Erich Grädel, Colin Hirsch, Martin Otto:
Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3(3): 418-463 (2002) - [c13]Martin Otto:
Modal and Guarded Characterisation Theorems over Finite Transition Systems. LICS 2002: 371- - 2001
- [j14]Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche:
Adding For-Loops to First-Order Logic. Inf. Comput. 168(2): 156-186 (2001) - [j13]Martin Otto:
Two Variable First-Order Logic over Ordered Domains. J. Symb. Log. 66(2): 685-702 (2001) - 2000
- [j12]Martin Otto:
An interpolation theorem. Bull. Symb. Log. 6(4): 447-462 (2000) - [j11]Martin Otto:
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. J. Symb. Log. 65(4): 1749-1757 (2000) - [c12]Erich Grädel, Colin Hirsch, Martin Otto:
Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228
1990 – 1999
- 1999
- [j10]Martin Otto:
Bounded variable logics: two, three, and more. Arch. Math. Log. 38(4-5): 235-256 (1999) - [j9]Erich Grädel, Martin Otto, Eric Rosen:
Undecidability results on two-variable logics. Arch. Math. Log. 38(4-5): 313-354 (1999) - [j8]Erich Grädel, Martin Otto:
On Logics with Two Variables. Theor. Comput. Sci. 224(1-2): 73-113 (1999) - [j7]Martin Otto:
Bisimulation-invariant PTIME and higher-dimensional µ-calculus. Theor. Comput. Sci. 224(1-2): 237-265 (1999) - [c11]Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche:
Adding For-Loops to First-Order Logic. ICDT 1999: 58-69 - [c10]Eva Hoogland, Maarten Marx, Martin Otto:
Beth Definability for the Guarded Fragment. LPAR 1999: 273-285 - [c9]Martin Otto:
Eliminating Recursion in the µ-Calculus. STACS 1999: 531-540 - 1998
- [c8]Phokion G. Kolaitis, Martin Otto:
On the Boundedness Problem for Two-Variable First-Order Logic. LICS 1998: 513-524 - 1997
- [b1]Martin Otto:
Bounded variable logics and counting - a study in finite models. Lecture Notes in Logic 9, Springer 1997, ISBN 978-3-540-62037-2, pp. I-IX, 1-183 - [j6]Martin Otto:
Canonization for Two Variables and Puzzles on the Square. Ann. Pure Appl. Log. 85(3): 243-282 (1997) - [c7]Martin Otto:
Capturing Bisimulation-Invariant Ptime. LFCS 1997: 294-305 - [c6]Erich Grädel, Martin Otto, Eric Rosen:
Two-Variable Logic with Counting is Decidable. LICS 1997: 306-317 - [c5]Erich Grädel, Martin Otto, Eric Rosen:
Undecidability Results on Two-Variable Logics. STACS 1997: 249-260 - 1996
- [j5]Martin Otto, Jan Van den Bussche:
First-Order Queries on Databases Embedded in an Infinite Structure. Inf. Process. Lett. 60(1): 37-41 (1996) - [j4]Martin Otto:
The Expressive Power of Fixed-Point Logic with Counting. J. Symb. Log. 61(1): 147-176 (1996) - [c4]Martin Otto:
The Logic of Explicitly Presentation-Invariant Circuits. CSL 1996: 369-384 - 1995
- [j3]Martin Otto:
An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1. Inf. Process. Lett. 53(6): 337-339 (1995) - [c3]Martin Otto:
Ptime Canonization for Two Variables with Counting. LICS 1995: 342-352 - 1994
- [c2]Martin Otto:
Generalized Quantifiers for Simple Properties. LICS 1994: 30-39 - 1992
- [j2]Martin Otto:
EM constructions for a class of generalized quantifiers. Arch. Math. Log. 31(5): 355-371 (1992) - [j1]Martin Otto:
Automorphism Properties of Stationary Logic. J. Symb. Log. 57(1): 231-237 (1992) - [c1]Erich Grädel, Martin Otto:
Inductive Definability with Counting on Finite Structures. CSL 1992: 231-247
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
