Order-Invariance in the Two-Variable Fragment of First-Order Logic

07/11/2022
by   Julien Grange, et al.
0

We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can use an additional binary relation, which is interpreted in the structures under scrutiny as a linear order, provided that the truth value of a sentence over a finite structure never depends on which linear order is chosen on its domain. We prove that on classes of structures of bounded degree, any property expressible in this logic is definable in first-order logic. We then show that the situation remains the same when we add counting quantifiers to this logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/24/2020

Successor-Invariant First-Order Logic on Classes of Bounded Degree

We study the expressive power of successor-invariant first-order logic, ...
research
04/17/2023

About the Expressive Power and Complexity of Order-Invariance with Two Variables

Order-invariant first-order logic is an extension of first-order logic (...
research
03/30/2019

FO = FO3 for linear orders with monotone binary relations

We show that over the class of linear orders with additional binary rela...
research
10/19/2021

Comonadic semantics for hybrid logic and bounded fragments

In recent work, comonads and associated structures have been used to ana...
research
09/28/2020

Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic

Beginning with a simple semantics for propositions, based on counting ob...
research
03/07/2018

On the Expressiveness and Monitoring of Metric Temporal Logic

It is known that Metric Temporal Logic (MTL) is strictly less expressive...
research
09/09/2019

Learning Concepts Definable in First-Order Logic with Counting

We study classification problems over relational background structures f...

Please sign up or login with your details

Forgot password? Click here to reset