The Fluted Fragment with Transitivity

Research output: Contribution to conferencePaper

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.

Bibliographical metadata

Original languageEnglish
Pages18:1-18:15
Number of pages15
DOIs
Publication statusPublished - 20 Aug 2019
Event44th International Symposium on Mathematical Foundations of Computer Science - Aachen, Germany
Event duration: 26 Aug 201930 Aug 2019

Conference

Conference44th International Symposium on Mathematical Foundations of Computer Science
Abbreviated titleMFCS 2019
CountryGermany
CityAachen
Period26/08/1930/08/19