 ##  [Kripke Frame](/kripke-frame) 

  ##  [Kripke Frame](https://mathlogic.quantumdictionary.io/kripke-frame-0) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

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.