The multidisciplinary field of fluid mechanics is one of the most actively developing fields of
physics, mathematics and engineering. In this book, the fundamental ideas of fluid …

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers
are the essential tools with which, in language or logic, we refer to quantity of things or …

This Handbook documents the main trends in current research between logic and language,
including its broader influence in computer science, linguistic theory and cognitive science …

We consider the problem of finding a characterization for polynomial time computable
queries on finite structures in terms of logical definability. It is well known that fixpoint logic …

This gentle introduction to logic and model theory is based on a systematic use of three
important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model …

Background. At the center of logic, computation theory, and game theory is an interest in
information and in the ways information can be processed correctly, mechanically, and …

In the paper we give a survey of all known results (as far as we have been able to
determine) concerning logics with Henkin quantifiers, known also as finite partially ordered …

Independence friendly logic (IF logic, IF first-order logic) is an extension of first-order logic. In
it, more quantifier dependencies and independencies can be expressed than in first-order …

Semantic games are an important evaluation method for a wide range of logical languages,
and are frequently resorted to when traditional methods do not easily apply. A case in point …

The expressive power of first-order logic over finite structures is limited in two ways: it lacks a
recursion mechanism, and it cannot count. Overcoming the first limitation has been a subject …