Results on the guarded fragment with equivalence or transitive relations

38Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We study the problem of the satisfiability of guarded formulas in models in which some distinguished binary symbols are interpreted as equivalence relations or as transitive relations. We sharpen the undecidability result for the two-variable guarded fragment with transitive relations by reducing the number of transitive relations to two. We prove that the satisfiability problem for the two-variable guarded fragment with two equivalence relations is 2EXPTIME-complete. We consider the guarded fragment with equivalence relations in guards and show that this variant is easily reducible to the variant with transitive relations in guards. However, in the case of two variables, the version with equivalence relations is easier: NEXPTIME-complete. Finally we show that the decidability results for the guarded fragment with either equivalence relations or transitive relations in guards cannot be generalized to the loosely guarded fragment. © Springer-Verlag Berlin Heidelberg 2005.

Cite

CITATION STYLE

APA

Kieroński, E. (2005). Results on the guarded fragment with equivalence or transitive relations. In Lecture Notes in Computer Science (Vol. 3634, pp. 309–324). Springer Verlag. https://doi.org/10.1007/11538363_22

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free