Truth definitions in finite models (Q5311718)
From MaRDI portal
scientific article; zbMATH DE number 2199925
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Truth definitions in finite models |
scientific article; zbMATH DE number 2199925 |
Statements
Truth definitions in finite models (English)
0 references
29 August 2005
0 references
finite model
0 references
truth definitions
0 references
combined complexity of logics
0 references
prenex classes of higher-order logics
0 references
complexity classes
0 references
0 references
