Logic
Mathematical logic
Model theory
Mathematics
Modal logic
Non-classical logic
Temporal logic
Kripke structure
Symbol
Kripke semantics
Interpretation
Functional predicate