This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Intermediate logic field

Intermediate logic

https://www.wikidata.org/wiki/Q5361594
Field Hierarchy
Parent
Computer science
55.7M papers
Artificial intelligence
11.4M papers
Programming language
7.3M papers
Theoretical computer science
632k papers
Description logic
19k papers
Current
Intermediate logic
4,599 papers
Child
Propositional variable
2,985 papers
Normal modal logic
2,666 papers
Propositional formula
1,484 papers
Kripke semantics
1,259 papers
Tautology (logic)
978 papers
Well-formed formula
963 papers
Substructural logic
775 papers
S5
685 papers
Modal μ-calculus
650 papers
Łukasiewicz logic
456 papers
Trends