Martin Otto

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 10

Top Topics

Inference Rules

Prime Implicates

Expressive Power

Top Venues

Log. Methods Comput. Sci.

Publications

Ivano Ciardelli, Martin Otto
On the expressive power of inquisitive epistemic logic. CoRR (2023)
Silke Meissner, Martin Otto
A First-order Framework for Inquisitive Modal Logic. Rev. Symb. Log. 15 (2) (2022)
Ivano Ciardelli, Martin Otto
Inquisitive Bisimulation. J. Symb. Log. 86 (1) (2021)
Erich Grädel, Martin Otto
Guarded Teams: The Horizontally Guarded Case. CSL (2020)
Martin Otto
Graded modal logic and counting bisimulation. CoRR (2019)
Felix Canavoi, Martin Otto
Cayley structures and common knowledge. CoRR (2019)
Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
Additive First-Order Queries. ICDT (2019)
Ivano Ciardelli, Martin Otto
Inquisitive bisimulation. CoRR (2018)
Ivano Ciardelli, Martin Otto
Bisimulation in Inquisitive Modal Logic. TARK (2017)
Felix Canavoi, Martin Otto
Common knowledge and multi-scale locality analysis in Cayley structures. LICS (2017)
Martin Grohe, Martin Otto
Pebble Games and linear equations. J. Symb. Log. 80 (3) (2015)
Vince Bárány, Georg Gottlob, Martin Otto
Querying the Guarded Fragment. Log. Methods Comput. Sci. 10 (2) (2014)
Martin Otto
Finite Groupoids, Finite Coverings and Symmetries in Finite Structures. CoRR (2014)
Achim Blumensath, Martin Otto, Mark Weyer
Decidability Results for the Boundedness Problem. Log. Methods Comput. Sci. 10 (3) (2014)
Martin Otto
Expressive completeness through logically tractable models. Ann. Pure Appl. Log. 164 (12) (2013)
Martin Otto
Groupoids, Hypergraphs, and Symmetries in Finite Models. LICS (2013)
Martin Otto
Bisimulation and Coverings for Graphs and Hypergraphs. ICLA (2013)
Vince Bárány, Balder ten Cate, Martin Otto
Queries with Guarded Negation (full version) CoRR (2012)
Martin Grohe, Martin Otto
Pebble Games and Linear Equations CoRR (2012)
Martin Grohe, Martin Otto
Pebble Games and Linear Equations. CSL (2012)
Vince Bárány, Balder ten Cate, Martin Otto
Queries with Guarded Negation. Proc. VLDB Endow. 5 (11) (2012)
Martin Otto
Highly acyclic groups, hypergraph covers, and the guarded fragment. J. ACM 59 (1) (2012)
Emanuel Kieronski, Martin Otto
Small substructures and decidability issues for first-order logic with two variables. J. Symb. Log. 77 (3) (2012)
Martin Otto
On Groupoids and Hypergraphs CoRR (2012)
Martin Otto
The Freedoms of Guarded Bisimulation. CSL (2011)
Vince Bárány, Georg Gottlob, Martin Otto
Querying the Guarded Fragment. LICS (2010)
Martin Otto
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. LICS (2010)
Anuj Dawar, Martin Otto
Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Log. 161 (1) (2009)
Achim Blumensath, Martin Otto, Mark Weyer
Boundedness of Monadic Second-Order Formulae over Finite Words. ICALP (2) (2009)
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)
Stephan Kreutzer, Martin Otto, Nicole Schweikardt
Boundedness of Monadic FO over Acyclic Structures. ICALP (2007)
Martin Otto
The Boundedness Problem for Monadic Universal First-Order Logic. LICS (2006)
Emanuel Kieronski, Martin Otto
Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS (2005)
Anuj Dawar, Martin Otto
Modal Characterisation Theorems over Special Classes of Frames. LICS (2005)
Martin Otto
Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Log. 130 (1-3) (2004)
Ian M. Hodkinson, Martin Otto
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bull. Symb. Log. 9 (3) (2003)
Martin Otto
Modal and Guarded Characterisation Theorems over Finite Transition Systems. LICS (2002)
Erich Grädel, Colin Hirsch, Martin Otto
Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3 (3) (2002)
Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
Adding For-Loops to First-Order Logic. Inf. Comput. 168 (2) (2001)
Martin Otto
Two Variable First-Order Logic over Ordered Domains. J. Symb. Log. 66 (2) (2001)
Martin Otto
An interpolation theorem. Bull. Symb. Log. 6 (4) (2000)
Erich Grädel, Colin Hirsch, Martin Otto
Back and Forth between Guarded and Modal Logics. LICS (2000)
Martin Otto
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. J. Symb. Log. 65 (4) (2000)
Martin Otto
Eliminating Recursion in the µ-Calculus. STACS (1999)
Erich Grädel, Martin Otto, Eric Rosen
Undecidability results on two-variable logics. Arch. Math. Log. 38 (4-5) (1999)
Eva Hoogland, Maarten Marx, Martin Otto
Beth Definability for the Guarded Fragment. LPAR (1999)
Martin Otto
Bisimulation-invariant PTIME and higher-dimensional µ-calculus. Theor. Comput. Sci. 224 (1-2) (1999)
Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
Adding For-Loops to First-Order Logic. ICDT (1999)
Martin Otto
Bounded variable logics: two, three, and more. Arch. Math. Log. 38 (4-5) (1999)
Erich Grädel, Martin Otto
On Logics with Two Variables. Theor. Comput. Sci. 224 (1-2) (1999)
Phokion G. Kolaitis, Martin Otto
On the Boundedness Problem for Two-Variable First-Order Logic. LICS (1998)
Erich Grädel, Martin Otto, Eric Rosen
Undecidability Results on Two-Variable Logics. STACS (1997)
Martin Otto
Canonization for Two Variables and Puzzles on the Square. Ann. Pure Appl. Log. 85 (3) (1997)
Martin Otto
Capturing Bisimulation-Invariant Ptime. LFCS (1997)
Erich Grädel, Martin Otto, Eric Rosen
Two-Variable Logic with Counting is Decidable. LICS (1997)
Martin Otto
The Logic of Explicitly Presentation-Invariant Circuits. CSL (1996)
Martin Otto, Jan Van den Bussche
First-Order Queries on Databases Embedded in an Infinite Structure. Inf. Process. Lett. 60 (1) (1996)
Martin Otto
The Expressive Power of Fixed-Point Logic with Counting. J. Symb. Log. 61 (1) (1996)
Martin Otto
Ptime Canonization for Two Variables with Counting LICS (1995)
Martin Otto
An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1. Inf. Process. Lett. 53 (6) (1995)
Martin Otto
Generalized Quantifiers for Simple Properties LICS (1994)
Martin Otto
Automorphism Properties of Stationary Logic. J. Symb. Log. 57 (1) (1992)
Martin Otto
EM constructions for a class of generalized quantifiers. Arch. Math. Log. 31 (5) (1992)
Erich Grädel, Martin Otto
Inductive Definability with Counting on Finite Structures. CSL (1992)