The logic of informational independence and finite models (Q4340930): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1093/jigpal/5.1.79 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2055269743 / rank | |||
Normal rank | |||
Latest revision as of 22:32, 19 March 2024
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
