Independence-friendly logic without Henkin quantification (Q5915779)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Independence-friendly logic without Henkin quantification |
scientific article; zbMATH DE number 6820458
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.933496594429016
0 references
0.8081800937652588
0 references
0.8037324547767639
0 references
0.7964180707931519
0 references
0.7948516607284546
0 references
