Fragment (logic)
Modal logic
Normal modal logic
Intermediate logic
S5
Accessibility relation
Variable (mathematics)
Modal
Mathematics
Dynamic logic (digital electronics)
Multimodal logic
Discrete mathematics
Algorithm
Computer science
Physics
Mathematical analysis
Description logic
Theoretical computer science
Quantum mechanics
Chemistry
Transistor
Voltage
Polymer chemistry
