AI Chat AI Image Generator AI Video Text to Speech

The Fluted Fragment with Transitivity

06/21/2019

∙

by Ian Pratt-Hartmann, et al.

∙

∙

We study the satisfiability problem for the fluted fragment extended with transitive relations. We show that the logic enjoys the finite model property when only one transitive relation is available. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presence of three transitive relations.

Ian Pratt-Hartmann
10 publications
Lidia Tendera
3 publications

page 1

page 2

page 3

page 4

research

∙ 06/19/2020

The Fluted Fragment with Transitive Relations

We study the satisfiability problem for the fluted fragment extended wit...

0 Ian Pratt-Hartmann, et al. ∙

research

∙ 04/25/2018

On the satisfiability problem for fragments of the two-variable logic with one transitive relation

We study the satisfiability problem for the two-variable first-order log...

0 Wiesław Szwast, et al. ∙

research

∙ 02/05/2018

Unary negation fragment with equivalence relations has the finite model property

We consider an extension of the unary negation fragment of first-order l...

0 Daniel Danielski, et al. ∙

research

∙ 05/04/2023

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

We define the adjacent fragment AF of first-order logic, obtained by res...

0 Bartosz Bednarczyk, et al. ∙

research

∙ 09/11/2021

NP Satisfiability for Arrays as Powers

We show that the satisfiability problem for the quantifier-free theory o...

0 Rodrigo Raya, et al. ∙

research

∙ 02/06/2016

Fuzzy Maximum Satisfiability

In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to ...

0 Mohamed El Halaby, et al. ∙

research

∙ 09/10/2018

Finite Satisfiability of Unary Negation Fragment with Transitivity

We show that the finite satisfiability problem for the unary negation fr...

0 Daniel Danielski, et al. ∙