Example. Lecture 1 › Basic modal logic › Local truth › Local truth in a model [006o]

Example content...