VU-AL-2026. Lecture 1 [0062]

February 11, 2026

1. Basic modal logic [0064]

February 11, 2026

Example 1.1. Examples of modal patterns [006g]

February 11, 2026

Content

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

February 11, 2026

Definition text...

Definition 1.3. Frame [006j]

February 11, 2026

Definition text...

Example. Frame examples [006k]

February 11, 2026

Example content...

Definition 1.4. Model and pointed model [006l]

February 11, 2026

Example. Model example [006m]

February 11, 2026

Example content...

Definition 1.5. Local truth [006n]

February 11, 2026

Definition text...

Example. Local truth in a model [006o]

February 11, 2026

Example content...

Definition 2. Dualities [0065]

February 11, 2026

Content

3. Syntax and semantics of prop1 [0068]

February 11, 2026

Definition 3.1. Syntax of prop1 [0066]

February 11, 2026

Content

Definition 3.2. Semantics of prop1 [0067]

February 11, 2026

Content

Example 3.3. prop1 example [006c]

February 11, 2026

Example content...

3.4. Soundness and completeness [006e]

February 11, 2026

Content

Definition 4. Hilbert style proof system [006a]

February 11, 2026

Example. Hilbert proof example [006d]

February 11, 2026

Example content...

Table of Contents

■1. Basic modal logic
- ■Example 1.1. Examples of modal patterns
- ■Definition 1.2. Formulas of modal propositional logic
- ■Definition 1.3. Frame
  - ■Example. Frame examples
- ■Definition 1.4. Model and pointed model
  - ■Example. Model example
- ■Definition 1.5. Local truth
  - ■Example. Local truth in a model
■Definition 2. Dualities
■3. Syntax and semantics of prop1
- ■Definition 3.1. Syntax of prop1
- ■Definition 3.2. Semantics of prop1
- ■Example 3.3. prop1 example
- ■3.4. Soundness and completeness
■Definition 4. Hilbert style proof system
- ■Example. Hilbert proof example