Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226)
From MaRDI portal
scientific article; zbMATH DE number 7198318
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable |
scientific article; zbMATH DE number 7198318 |
Statements
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (English)
0 references
11 May 2020
0 references
