Lecture 1 › Basic modal logic [0064] February 11, 2026 Example 1. Examples of modal patterns [006g] February 11, 2026 Content Definition 2. Formulas of modal propositional logic [006i] February 11, 2026 Definition text... Definition 3. Frame [006j] February 11, 2026 Definition text... Example. Frame examples [006k] February 11, 2026 Example content... Definition 4. Model and pointed model [006l] February 11, 2026 Example. Model example [006m] February 11, 2026 Example content... Definition 5. Local truth [006n] February 11, 2026 Definition text... Example. Local truth in a model [006o] February 11, 2026 Example content...