Independence-friendly logic without Henkin quantification (Q5918342)
From MaRDI portal
scientific article; zbMATH DE number 7373422
Language | Label | Description | Also known as |
---|---|---|---|
English | Independence-friendly logic without Henkin quantification |
scientific article; zbMATH DE number 7373422 |
Statements
Independence-friendly logic without Henkin quantification (English)
0 references
21 July 2021
0 references
independence-friendly logic
0 references
existential second-order logic
0 references
signalling
0 references
action recall
0 references
knowledge memory
0 references
irregular formulas
0 references