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
56.5M papers
Artificial intelligence
11.7M papers
Programming language
7.4M papers
Theoretical computer science
641k papers
Description logic
18.9k papers
Current
Intermediate logic
4,604 papers
Child
Propositional variable
2,989 papers
Normal modal logic
2,685 papers
Propositional formula
1,478 papers
Kripke semantics
1,256 papers
Tautology (logic)
981 papers
Well-formed formula
961 papers
Substructural logic
779 papers
S5
684 papers
Modal μ-calculus
656 papers
Łukasiewicz logic
457 papers
Trends