Decidability
Modal logic
Normal modal logic
Accessibility relation
Fragment (logic)
S5
T-norm fuzzy logics
Kripke semantics
Property (philosophy)
Computer science
Modal
Multimodal logic
Completeness (order theory)
Dynamic logic (digital electronics)
Modal μ-calculus
Description logic
Fuzzy logic
Semantics (computer science)
Discrete mathematics
Mathematics
Algorithm
Theoretical computer science
Programming language
Artificial intelligence
Fuzzy set
Fuzzy number
Philosophy
Mathematical analysis
Chemistry
Epistemology
Polymer chemistry
Transistor
Voltage
Quantum mechanics
Physics
