Possibility
Modal logic
Model theory
Non-classical logic
First-order logic
Entailment
Possible world
Function
Impossible world
Logic
Mathematical logic
Philosophical logic