Modal logic
Ontology
Abstraction
Semantics
Philosophical logic
Situation semantics
Saul Kripke
Truth
Event
Logic
Philosophy
Mathematical logic