DeepAI AI Chat
Log In Sign Up

The Fluted Fragment with Transitive Relations

by   Ian Pratt-Hartmann, et al.

We study the satisfiability problem for the fluted fragment extended with transitive relations. The logic enjoys the finite model property when only one transitive relation is available and the finite model property is lost when additionally either equality or a second transitive relation is allowed. We show that the satisfiability problem for the fluted fragment with one transitive relation and equality remains decidable. 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 (or two transitive relations and equality).


The Fluted Fragment with Transitivity

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

Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability

The logic of the hide and seek game LHS was proposed to reason about sea...

k-Equivalence Relations and Associated Algorithms

Lines and circles pose significant scalability challenges in synthetic g...

An Algebra of Properties of Binary Relations

We consider all 16 unary operations that, given a homogeneous binary rel...

Towards a more efficient approach for the satisfiability of two-variable logic

We revisit the satisfiability problem for two-variable logic, denoted by...

Logical Foundations of Quantitative Equality (long version)

Quantitative reasoning provides a flexible approach capable to deal with...

Finite Satisfiability of Unary Negation Fragment with Transitivity

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