Second-order logic
- Wikidata
- https://www.wikidata.org/wiki/Q1548746
- OpenAlex ID
- https://openalex.org/C144791301 (API record)
- OpenAlex Description
- extension of first-order logic, which itself is an extension of propositional logic
- OpenAlex Level [?]
- 4
Broader Concepts
Narrower Concepts
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.