We explore the finite model theory of the characterisation theorems for modal and guarded fragments of first-order logic over transition systems and relational structures of width two. A new construction of locally acyclic bisimilar covers provides a useful analogue of the well known tree-like unravellings that can be used for the purposes of finite model theory. Together with various other finitary bisimulation respecting model transformations, and Ehrenfeucht–Fraïssé game arguments, these covers allow us to upgrade finite approximations for full bisimulation equivalence (...) towards approximations for elementary equivalence. These techniques are used to prove several ramifications of the van Benthem–Rosen characterisation theorem of basic modal logic for refinements of ordinary bisimulation equivalence, both in the sense of classical and of finite model theory. (shrink)

CHAPTER ONE THE PHILOSOPHER MOSAIC IN NAPLES Ever since the discovery in Torre Annunziata of a duplicate1 of the Villa Albani mosaic showing a group of ...

Nachdruck der Vorlesungsreihe aus dem Jahr 1916.

In this article I try to investigate the possible insights one may reach by considering the development on the level of socio-philosophical theories as a symptom of the development taking place on the level of social practice.

There are properties of finite structures that are expressible with the use of Hilbert's ε-operator in a manner that does not depend on the actual interpretation for ε-terms, but not expressible in plain first-order. This observation strengthens a corresponding result of Gurevich, concerning the invariant use of an auxiliary ordering in first-order logic over finite structures. The present result also implies that certain non-deterministic choice constructs, which have been considered in database theory, properly enhance the expressive power of first-order logic (...) even as far as deterministic queries are concerned, thereby answering a question raised by Abiteboul and Vianu. (shrink)