Higher-order logic

https://www.wikidata.org/wiki/Q1644136

Field Hierarchy

Parent
Computer science 62.5M papers	Artificial intelligence 11.8M papers	Programming language 7.7M papers	Theoretical computer science 623k papers
Description logic 20.5k papers		Dynamic logic (modal logic) 1 papers
Current
Higher-order logic 2,539 papers
Child
Paraconsistent logic 1,217 papers	Substructural logic 829 papers	Second-order logic 610 papers	Łukasiewicz logic 475 papers
Monadic predicate calculus 406 papers

Trends

Notes

History