Two-Variable Logic with Two Order Relations
It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete. Actually, EXPSPACE-completeness already holds for structures th...
| 出版年: | Logical Methods in Computer Science |
|---|---|
| 主要な著者: | , |
| フォーマット: | 論文 |
| 言語: | 英語 |
| 出版事項: |
Logical Methods in Computer Science e.V.
2012-03-01
|
| 主題: | |
| オンライン･アクセス: | https://lmcs.episciences.org/715/pdf |