Kripke semantics

Home > Philosophy > Logic > Modal Logic > Kripke semantics

A model-theoretic approach to modal logic that uses possible worlds and accessibility relations to define modal operators.