Logic
Philosophy
Abstraction
Modal logic
Modality
Non-classical logic
Philosophical logic
Model theory
First-order logic