Kripke Frame

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A relational structure (W,R) consisting of a nonempty set W of possible worlds and a binary accessibility relation R ⊆ W×W used to interpret modal or temporal operators independently of any valuation of propositional atoms.