Algebraic logic
Philosophical logic
Modal logic
Algebraic structures
General frame
Kripke semantics
Entailment
Modal algebra
Lindenbaum–Tarski algebra
Logic
Mathematical logic
Mathematics