The Undecidable Standard Classes for Pure Predicate Logic, a Treatise on the Transformation of the Classical Decision Problem, and some Results and Open Problems are presented.Expand

It is proved that the satisfiability problems for the guarded fragment and the loosely guarded fragment of first-order logic are complete for deterministic double exponential time, and a tree model property is established for both the guarded fragments and the closely guarded fragment.Expand

Improve Mortimer's bound by one exponential and show that every satisfiable FO2-sentence has a model whose size is at most exponential in the size of the sentence, establishing that the satisfiability problem for FO2 is NEXPTIME-complete.Expand

This work determines the complexity of model checking and query evaluation on automatic structures for fragments of first-order logic and gives model-theoretic characterisations for automatic structures via interpretations.Expand

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific… Expand

Y gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence and can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using =$$(vec{x, \vec{y})}$$ have.Expand

Themes in Finite Model Theory and Descriptive Complexity, Logic and Random Structures, Embedded Finite Models and Constraint Databases, and Local Variations on a Loose Theme.Expand

It is proved that the satisfiability problems for guarded fixed point logics are decidable and complete for deterministic double exponential time.Expand

The model checking problem for FO(∃ω), first-order logic extended by the quantifier “there are infinitely many”, is proved to be decidable for automatic and ω-automatic structures and appropriate expansions of the real ordered group.Expand