Axiom
Modal
Modal logic
Algebraic semantics
Normal modal logic
Extension (predicate logic)
Accessibility relation
Mathematics
Semantics (computer science)
S5
Kripke semantics
Multimodal logic
Algebra over a field
Polynomial
Algebraic number
Discrete mathematics
Computer science
Description logic
Pure mathematics
Theoretical computer science
Programming language
Mathematical analysis
Geometry
Chemistry
Polymer chemistry
