MODAL AND INTENSIONAL LOGICS
Logics that extend a propositional or predicate base with intensional operators evaluated over relational structures. The shared apparatus is possible-worlds (Kripke) or neighborhood semantics, in which the truth of a formula depends on an accessibility relation among points of evaluation.
The division is organized by the reading of the modal operator. Alethic entries treat necessity and possibility and their frame conditions. Deontic entries treat obligation, permission, and prohibition. Epistemic entries treat knowledge and belief. Temporal entries treat time and tense. Dynamic entries treat action and program execution as modalities over transitions.