VU-AL-2026. Week 1 [005n]

February 11, 2026

VU-AL-2026 1. Lecture 1 [0062]

February 11, 2026

1.1. Basic modal logic [0064]

February 11, 2026

Example 1.1.1. Examples of modal patterns [006g]

February 11, 2026

Content

Definition 1.1.2. Formulas of modal propositional logic [006i]

February 11, 2026

Definition text...

Definition 1.1.3. Frame [006j]

February 11, 2026

Definition text...

Example. Frame examples [006k]

February 11, 2026

Example content...

Definition 1.1.4. Model and pointed model [006l]

February 11, 2026

Example. Model example [006m]

February 11, 2026

Example content...

Definition 1.1.5. Local truth [006n]

February 11, 2026

Definition text...

Example. Local truth in a model [006o]

February 11, 2026

Example content...

Definition 1.2. Dualities [0065]

February 11, 2026

Content

1.3. Syntax and semantics of prop1 [0068]

February 11, 2026

Definition 1.3.1. Syntax of prop1 [0066]

February 11, 2026

Content

Definition 1.3.2. Semantics of prop1 [0067]

February 11, 2026

Content

Example 1.3.3. prop1 example [006c]

February 11, 2026

Example content...

1.3.4. Soundness and completeness [006e]

February 11, 2026

Content

Definition 1.4. Hilbert style proof system [006a]

February 11, 2026

Example. Hilbert proof example [006d]

February 11, 2026

Example content...

VU-AL-2026 2. Lecture 2 [0063]

February 11, 2026

Table of Contents

■VU-AL-2026 1. Lecture 1
- ■1.1. Basic modal logic
  - ■Example 1.1.1. Examples of modal patterns
  - ■Definition 1.1.2. Formulas of modal propositional logic
  - ■Definition 1.1.3. Frame
    - ■Example. Frame examples
  - ■Definition 1.1.4. Model and pointed model
    - ■Example. Model example
  - ■Definition 1.1.5. Local truth
    - ■Example. Local truth in a model
- ■Definition 1.2. Dualities
- ■1.3. Syntax and semantics of prop1
  - ■Definition 1.3.1. Syntax of prop1
  - ■Definition 1.3.2. Semantics of prop1
  - ■Example 1.3.3. prop1 example
  - ■1.3.4. Soundness and completeness
- ■Definition 1.4. Hilbert style proof system
  - ■Example. Hilbert proof example
■VU-AL-2026 2. Lecture 2