Kripke frame

A Kripke frame is a structure used in logic and philosophy to analyze how different "worlds" or situations relate to each other. It consists of a set of these worlds and a way to connect them—showing which worlds are accessible or possible from others. Think of it like a map where each point is a possible scenario, and arrows indicate which scenarios can lead to or influence others. This framework helps understand modal concepts like necessity and possibility by examining the relationships between these possible worlds.