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

09/24/2020
by   Julien Grange, et al.
0

We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is independent on the choice of a particular successor. We show that when the degree is bounded, successor-invariant first-order logic is no more expressive than first-order logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/11/2022

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

We study the expressive power of the two-variable fragment of order-inva...
research
05/16/2019

Bisimulation Invariant Monadic-Second Order Logic in the Finite

We consider bisimulation-invariant monadic second-order logic over vario...
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
04/16/2018

Expressivity within second-order transitive-closure logic

Second-order transitive-closure logic, SO(TC), is an expressive declarat...
research
10/14/2022

An atom's worth of anonymity

Anonymity has gained notoriety in modern times as data about our actions...
research
12/30/2021

Expressive power versus decidability

In this note we prove that there exists no fragment of first-order logic...
research
09/14/2022

Inputs, Outputs, and Composition in the Logic of Information Flows

The logic of information flows (LIF) is a general framework in which tas...

Please sign up or login with your details

Forgot password? Click here to reset