DMCA
Two-variable logic with two order relations
| Venue: | In CSL, volume 6247 of Lecture Notes in Computer Science |
| Citations: | 12 - 3 self |
BibTeX
@INPROCEEDINGS{Schwentick_two-variablelogic,
author = {Thomas Schwentick and Thomas Zeume},
title = {Two-variable logic with two order relations},
booktitle = {In CSL, volume 6247 of Lecture Notes in Computer Science},
year = {},
pages = {499--513}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The finite satisfiability problem for two-variable logic over structures with unary relations and two order relations is investigated. Firstly, de-cidability is shown for structures with one total preorder relation and one linear order relation. More specifically, we show that this problem is com-plete for EXPSPACE. As a consequence, the same upper bound applies to the case of two linear orders. Secondly, we prove undecidability for structures with two total preorder relations as well as for structures with one total preorder and two linear order relations. Further, we point out connections to other logics. Decidability is shown for two-variable logic on data words with orders on both positions and data values, but with-out a successor relation. We also study “partial models ” of compass and interval temporal logic and prove decidability for some of their fragments. 1
