Philosophical logic
Model theory
Philosophy of language
Semantics
Barcan formula
Kripke semantics
Interpretation
Possible world
S5
Logic
Mathematical logic
Modal logic