#### Filter Results:

- Full text PDF available (53)

#### Publication Year

1992

2017

- This year (4)
- Last 5 years (20)
- Last 10 years (30)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Erich Grädel, Martin Otto
- Theor. Comput. Sci.
- 1999

This paper is a survey and systematic presentation of decidability and complexity issues for modal and non-modal two-variable logics. A classical result due to Mortimer says that the two-variable fragment of rst-order logic, denoted FO 2 , has the nite model property and is therefore decidable for satissability. One of the reasons for the signiicance of… (More)

- Erich Grädel, Martin Otto, Eric Rosen
- LICS
- 1997

w e prove that the satisfiability and the finite satisfiability problems for C2 are decidable. C2 is first-order logic with only two variables in the presence of arbitrary counting quantifiers 32", m 2 1. I t considerably extends L2, plain first-order with only two variables, which is known to be decidable by a result of Mortimer's. Unlike L2, C2 does not… (More)

- Vince Bárány, Georg Gottlob, Martin Otto
- 2010 25th Annual IEEE Symposium on Logic in…
- 2010

Evaluating a boolean conjunctive query q over a guarded first-order theory T is equivalent to checking whether (T \& not q) is unsatisfiable. This problem is relevant to the areas of database theory and description logic. Since q may not be guarded, well known results about the decidability, complexity, and finite-model property of the guarded fragment… (More)

- Martin Otto
- J. Symb. Log.
- 2001

The satissability problem for the two-variable fragment of rst-order logic is investigated over nite and innnite linearly ordered, respectively wellordered domains, as well as over nite and innnite domains in which one or several designated binary predicates are interpreted as arbitrary wellfounded relations. It is shown that FO 2 over ordered, respectively… (More)

Finite model theory deals with the model theory of finite structures. As a branch of model theory it is concerned with the analysis of structural properties in terms of logics. The attention to finite structures is not so much a restriction in scope as a shift in perspective. The main parts of classical model theory (the model theory related to first-order… (More)

- Anuj Dawar, Martin Otto
- 20th Annual IEEE Symposium on Logic in Computer…
- 2005

We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem's theorem, which says that a first-order formula is invariant under bisimulation if and only if it is equivalent to a formula of basic modal logic. The present investigation… (More)

- Erich Grädel, Martin Otto, Eric Rosen
- Arch. Math. Log.
- 1997

It is a classical result of Mortimer that L 2 , rst-order logic with two variables, is decidable for satissability. We show that going beyond L 2 by adding any one of the following leads to an undecidable logic: very weak forms of recursion, viz. (i) transitive closure operations (ii) (restricted) monadic xed-point operations weak access to cardinalities,… (More)

- Martin Otto
- J. Symb. Log.
- 1996

- Emanuel Kieronski, Martin Otto
- 20th Annual IEEE Symposium on Logic in Computer…
- 2005

We study first-order logic with two variables FO/sup 2/ and establish a small substructure property. Similar to the small model property for FO/sup 2/ we obtain an exponential size bound on embedded substructures, relative to a fixed surrounding structure that may be infinite. We apply this technique to analyse the satisfiability problem for FO/sup 2/ under… (More)

- Martin Otto, Robert Piro
- Advances in Modal Logic
- 2008

We establish a Lindström type characterisation of the extension of basic modal logic by a global modality (ML[∀]) and of the guarded fragment of first-order logic (GF) as maximal among compact logics with the corresponding bisimulation invariance and the Tarski Union Property.