Completeness and decidability of general first-order logic (with a detour through the guarded fragment) (Q2363413)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness and decidability of general first-order logic (with a detour through the guarded fragment) |
scientific article |
Statements
Completeness and decidability of general first-order logic (with a detour through the guarded fragment) (English)
0 references
19 July 2017
0 references
first-order quantifiers
0 references
decidability
0 references
general semantics
0 references
