Definition. Lecture 1 › Basic modal logic › Local truth [006n] February 11, 2026 Definition text... Example. Local truth in a model [006o] February 11, 2026 Example content...