Logic in computer science
Model theory
Non-classical logic
Philosophical logic
Modal logic
Dynamic logic
Temporal logic
Assertion
Axiom
Logic
Mathematical logic
Mathematics