Conservative Extensions in Guarded and Two-Variable Fragments. (Q5111440)
From MaRDI portal
scientific article; zbMATH DE number 7204560
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conservative Extensions in Guarded and Two-Variable Fragments. |
scientific article; zbMATH DE number 7204560 |
Statements
27 May 2020
0 references
conservative extensions
0 references
decidable fragments of first-order logic
0 references
computational complexity
0 references
Conservative Extensions in Guarded and Two-Variable Fragments. (English)
0 references
