Information science
Non-classical logic
Formal systems
Knowledge representation
Ontology
Description logic
Axiom
Modal logic
Mereology
Logic
Mathematical logic
Mathematics