Independence-friendly logic without Henkin quantification (Q5915779)
From MaRDI portal
scientific article; zbMATH DE number 6820458
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence-friendly logic without Henkin quantification |
scientific article; zbMATH DE number 6820458 |
Statements
Independence-friendly logic without Henkin quantification (English)
0 references
20 December 2017
0 references
independence-friendly logic
0 references
game-theoretical semantics
0 references
Henkin quantification
0 references
action recall
0 references
signalling
0 references
existential second-order logic
0 references
expressive power
0 references
