Intermediate logic

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

Field Hierarchy

Parent
Computer science 54.8M papers	Artificial intelligence 11.2M papers	Programming language 7.2M papers	Theoretical computer science 615k papers
Description logic 18.8k papers
Current
Intermediate logic 4,573 papers
Child
Propositional variable 2,967 papers	Normal modal logic 2,651 papers	Propositional formula 1,473 papers	Kripke semantics 1,255 papers
Tautology (logic) 965 papers	Well-formed formula 963 papers	Substructural logic 774 papers	S5 687 papers
Modal μ-calculus 642 papers		Łukasiewicz logic 458 papers

Trends

Notes

History