• README ⤓ .txt 2026-07-17T121634.146 000000000000632
  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.
• Alethic
  Logics of necessity and possibility and their close relatives, interpreted over Kripke frames or neighborhood models.
• Deontic
  Logics of obligation, permission, and prohibition, in which the modal operators carry a normative rather than an alethic reading.
• Dynamic
  Logics whose modalities are indexed by actions, programs, or transitions, so that [α]φ reads "after every execution of α, φ holds.
• Epistemic
  Logics of knowledge and belief, in which the operators read "agent i knows that" or "agent i believes that," interpreted over epistemic accessibility relations.
• Temporal
  Logics whose operators quantify over a flow of time—"next," "until," "always," "since," "eventually"—interpreted over structures that order the points or intervals of evaluation.
• CRITERIA ⤓ .txt 2026-07-17T121634.146 000000000000648
  Not sufficient: A semantics that distinguishes necessarily equivalent formulas, because its points of evaluation are states, situations, or impossible worlds rather than possible ones (that belongs in Hyperintensional; a Kripke frame identifies a proposition with a set of worlds however fine its accessibility). A purely truth-functional many-valued matrix (that belongs in Algebraic). A type-theoretic modality presented as a term calculus (that belongs in Type). Dropping structural rules (that belongs in Structural).