The Fluted Fragment with Transitivity
Logic in Computer Science
2019-06-24 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1906.09131,
title = {The Fluted Fragment with Transitivity},
author = {Ian Pratt-Hartmann and Lidia Tendera},
journal= {arXiv preprint arXiv:1906.09131},
year = {2019}
}
Comments
Extended version of MFCS 2019 paper