Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
| Autor: | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Logical Methods in Computer Science, Vol Volume 16, Issue 3 (2020) |
| Druh dokumentu: | article |
| ISSN: | 1860-5974 |
| DOI: | 10.23638/LMCS-16(3:16)2020 |
| Popis: | We study two extensions of FO2[ |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|