DeepAI AI Chat
Log In Sign Up

Model Theory of Monadic Predicate Logic with the Infinity Quantifier

09/10/2018
by   Facundo Carreiro, et al.
IDSIA
University of Amsterdam
UCL
0

This paper establishes model-theoretic properties of FOE^∞, a variation of monadic first-order logic that features the generalised quantifier ∃^∞ (`there are infinitely many'). We provide syntactically defined fragments of FOE^∞ characterising four different semantic properties of FOE^∞-sentences: (1) being monotone and (2) (Scott) continuous in a given set of monadic predicates; (3) having truth preserved under taking submodels or (4) invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence φ to a sentence φ^p belonging to the corresponding syntactic fragment, with the property that φ is equivalent to φ^p precisely when it has the associated semantic property. Our methodology is first to provide these results in the simpler setting of monadic first-order logic with (FOE) and without (FO) equality, and then move to FOE^∞ by including the generalised quantifier ∃^∞ into the picture. As a corollary of our developments, we obtain that the four semantic properties above are decidable for FOE^∞-sentences. Moreover, our results are directly relevant to the characterisation of automata and expressiveness modulo bisimilirity for variants of monadic second-order logic. This application is developed in a companion paper.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/18/2018

Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties

This paper contributes to the theory of the modal μ-calculus by proving ...
09/10/2017

Monadic Second-Order Logic with Arbitrary Monadic Predicates

We study Monadic Second-Order Logic (MSO) over finite words, extended wi...
04/23/2023

Alternating (In)Dependence-Friendly Logic

Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...
10/14/2019

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

We present syntactic characterisations for the union closed fragments of...
04/24/2021

On Logics and Homomorphism Closure

Predicate logic is the premier choice for specifying classes of relation...
09/15/2017

A Semantic Approach to the Analysis of Rewriting-Based Systems

Properties expressed as the provability of a first-order sentence can be...