modal system
C52288
concept
A modal system is a formal framework in logic that extends classical propositional or predicate logic with modal operators (such as necessity and possibility) and corresponding axioms and rules to reason about modalities.