Characterizing Second Order Logic with First Order Quantifiers (Q3869315)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing Second Order Logic with First Order Quantifiers |
scientific article |
Statements
Characterizing Second Order Logic with First Order Quantifiers (English)
0 references
1979
0 references
partially ordered quantifier prefix
0 references
semantics
0 references
second order logic
0 references
alternating second order quantifiers
0 references
first-order quantification
0 references
