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.2M papers
Artificial intelligence
11.6M papers
Programming language
7.4M papers
Theoretical computer science
637k papers
Description logic
18.9k papers
Current
Intermediate logic
4,594 papers
Child
Propositional variable
2,983 papers
Normal modal logic
2,681 papers
Propositional formula
1,474 papers
Kripke semantics
1,253 papers
Tautology (logic)
977 papers
Well-formed formula
959 papers
Substructural logic
777 papers
S5
684 papers
Modal μ-calculus
654 papers
Łukasiewicz logic
456 papers
Trends