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