Martin Otto

Available identifiers

zbMath Open otto.martinWikidataQ17352944 ScholiaQ17352944MaRDI QIDQ490671

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5874208	2023-02-07	Paper
Undecidability results on two-variable logics	2022-11-09	Paper
Finite approximation of free groups with an application to the Henckell--Rhodes problem	2022-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5091133	2022-07-21	Paper
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC	2022-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q3384064	2021-12-14	Paper
INQUISITIVE BISIMULATION	2021-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5144618	2021-01-19	Paper
Graded modal logic and counting bisimulation	2019-09-30	Paper
Cayley structures and common knowledge	2019-09-25	Paper
Inquisitive bisimulation	2018-03-09	Paper
Amalgamation and Symmetry: From Local to Global Consistency in The Finite	2017-08-31	Paper
Groupoids, Hypergraphs, and Symmetries in Finite Models	2017-07-03	Paper
Back and forth between guarded and modal logics	2017-06-13	Paper
PEBBLE GAMES AND LINEAR EQUATIONS	2015-11-09	Paper
Expressive completeness through logically tractable models	2015-08-27	Paper
The Freedoms of (Guarded) Bisimulation	2015-05-11	Paper
Bisimulation and Coverings for Graphs and Hypergraphs	2015-01-06	Paper
Decidability Results for the Boundedness Problem	2014-09-05	Paper
Querying the Guarded Fragment	2014-05-22	Paper
Highly acyclic groups, hypergraph covers, and the guarded fragment	2014-02-17	Paper
Pebble Games and Linear Equations	2012-11-22	Paper
Small substructures and decidability issues for first-order logic with two variables	2012-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q3172386	2011-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3085171	2011-03-30	Paper
Modal characterisation theorems over special classes of frames	2009-10-09	Paper
Boundedness of Monadic Second-Order Formulae over Finite Words	2009-07-14	Paper
Boundedness of Monadic FO over Acyclic Structures	2007-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q5494236	2006-10-17	Paper
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures	2005-02-09	Paper
Modal and guarded characterisation theorems over finite transition systems	2004-11-18	Paper
Adding for-loops to first-order logic	2003-01-14	Paper
Two variable first-order logic over ordered domains	2002-07-25	Paper
An Interpolation Theorem	2001-07-26	Paper
Epsilon-logic is more expressive than first-order logic over finite structures	2001-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4938431	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4936118	2000-01-24	Paper
On logics with two variables	2000-01-12	Paper
Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus	2000-01-12	Paper
Undecidability results on two-variable logics	1999-12-13	Paper
Bounded variable logics: Two, three, and more	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4251069	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4376070	1998-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4362929	1997-11-13	Paper
Canonization for two variables and puzzles on the square	1997-09-10	Paper
A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\)	1997-02-28	Paper
First-order queries on databases embedded in an infinite structure	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4332930	1997-02-18	Paper
The expressive power of fixed-point logic with counting	1997-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4283240	1994-08-07	Paper
EM constructions for a class of generalized quantifiers	1993-03-01	Paper
Automorphism properties of stationary logic	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3997427	1992-09-17	Paper
A reduction scheme for phase spaces with almost Kähler symmetry. Regularity results for momentum level sets	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Otto