INCLUSION CRITERIA
An entry belongs in this subdivision if and only if its operators read as knowledge or belief (Kφ, Bφ), interpreted over epistemic or doxastic accessibility relations.
Required: At least one of the following:
- Knowledge or belief operators with epistemic/doxastic accessibility
- A group-epistemic notion (common, distributed knowledge) with a defined semantics
- A dynamics of information change (announcement, action model, revision)
Not sufficient: Alethic necessity (Alethic), obligation (Deontic), bare temporal flow (Temporal).
Boundary: Belief revision appears here (as doxastic modal logic) and in Applications/Knowledge (as postulate-based KR); the modal logic lives here, the AGM machinery there. Justification logic is cross-listed with Alethic. Probabilistic epistemic logics that foreground probability belong in Applications/Probabilistic. Topological semantics is cross-listed with Metatheory/Model-Theory.