Logic
Mathematical logic
Model theory
Ontology
Philosophy
Temporal logic
Non-classical logic
Philosophical logic
Tbox
Abox
Modal logic
Kripke structure