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.
@InProceedings{pratthartmann_et_al:LIPIcs.MFCS.2019.18, author = {Pratt-Hartmann, Ian and Tendera, Lidia}, title = {{The Fluted Fragment with Transitivity}}, booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)}, pages = {18:1--18:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-117-7}, ISSN = {1868-8969}, year = {2019}, volume = {138}, editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.18}, URN = {urn:nbn:de:0030-drops-109626}, doi = {10.4230/LIPIcs.MFCS.2019.18}, annote = {Keywords: First-Order logic, Decidability, Satisfiability, Transitivity, Complexity} }
Feedback for Dagstuhl Publishing