Kripkelike
Kripkelike is an adjective used to describe semantic structures or models that follow the presentation and principles of Kripke semantics for modal and related logics. Originating from the work of philosopher and logician Saul Kripke in the late 1950s and early 1960s, Kripke semantics represent truth relative to possible worlds linked by an accessibility relation; Kripkelike models adapt or extend that general framework.
A typical Kripkelike structure consists of a nonempty set of states or worlds, a binary accessibility relation
Kripkelike approaches have been generalized in multiple directions: multi-agent or polyadic relations for epistemic logic, weighted
Criticisms and limitations of Kripkelike semantics include questions about the metaphysical interpretation of possible worlds and