Logic
Mathematical logic
Abstraction
Predicate logic
Model theory
Philosophical logic
Modal logic
Kripke semantics
First-order logic
Sheaf
FO
Well-formed formula