The logic of informational independence and finite models (Q4340930)
From MaRDI portal
scientific article; zbMATH DE number 1021719
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The logic of informational independence and finite models |
scientific article; zbMATH DE number 1021719 |
Statements
The logic of informational independence and finite models (English)
0 references
12 March 1998
0 references
partially-ordered quantifiers
0 references
Henkin quantifiers
0 references
extension of first-order logic
0 references
expressive power
0 references
finite models
0 references
restricted interpolation theorem
0 references
logic of informational independence
0 references
NP-complete problems
0 references
