The following pages link to Martin Otto (Q490671):
Displaying 50 items.
- Expressive completeness through logically tractable models (Q490672) (← links)
- A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\) (Q673910) (← links)
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- A reduction scheme for phase spaces with almost Kähler symmetry. Regularity results for momentum level sets (Q1101693) (← links)
- EM constructions for a class of generalized quantifiers (Q1204118) (← links)
- Bounded variable logics: Two, three, and more (Q1306792) (← links)
- Undecidability results on two-variable logics (Q1306795) (← links)
- First-order queries on databases embedded in an infinite structure (Q1350000) (← links)
- Canonization for two variables and puzzles on the square (Q1361251) (← links)
- Adding for-loops to first-order logic (Q1854443) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
- On logics with two variables (Q1960419) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Epsilon-logic is more expressive than first-order logic over finite structures (Q2710605) (← links)
- An Interpolation Theorem (Q2711348) (← links)
- Two variable first-order logic over ordered domains (Q2747711) (← links)
- Decidability Results for the Boundedness Problem (Q2878748) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
- Bisimulation and Coverings for Graphs and Hypergraphs (Q2936225) (← links)
- (Q3085171) (← links)
- (Q3172386) (← links)
- (Q3384064) (← links)
- PEBBLE GAMES AND LINEAR EQUATIONS (Q3450805) (← links)
- Boundedness of Monadic Second-Order Formulae over Finite Words (Q3638086) (← links)
- (Q3997427) (← links)
- Automorphism properties of stationary logic (Q4008759) (← links)
- (Q4251069) (← links)
- (Q4283240) (← links)
- (Q4332930) (← links)
- (Q4362929) (← links)
- (Q4376070) (← links)
- Pebble Games and Linear Equations (Q4649553) (← links)
- Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305) (← links)
- The expressive power of fixed-point logic with counting (Q4879905) (← links)
- (Q4936118) (← links)
- (Q4938431) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Undecidability results on two-variable logics (Q5048929) (← links)
- A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC (Q5078812) (← links)
- (Q5091133) (← links)
- (Q5144618) (← links)
- The Freedoms of (Guarded) Bisimulation (Q5249664) (← links)
- Groupoids, Hypergraphs, and Symmetries in Finite Models (Q5271040) (← links)
- Highly acyclic groups, hypergraph covers, and the guarded fragment (Q5395677) (← links)
- Querying the Guarded Fragment (Q5417742) (← links)
- Boundedness of Monadic FO over Acyclic Structures (Q5428840) (← links)
- (Q5494236) (← links)
- Back and forth between guarded and modal logics (Q5738962) (← links)
- (Q5874208) (← links)
- Inquisitive bisimulation (Q6298839) (← links)
