VU-AL-2026. Lecture 2 [0063]

February 11, 2026

Context

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

February 11, 2026

VU-AL-2026. Lecture 1 [0062]

February 11, 2026

Basic modal logic [0064]

February 11, 2026

Example. Examples of modal patterns [006g]

February 11, 2026

Content

Definition. Formulas of modal propositional logic [006i]

February 11, 2026

Definition text...

Definition. Frame [006j]

February 11, 2026

Definition text...

Example. Frame examples [006k]

February 11, 2026

Example content...

Definition. Model and pointed model [006l]

February 11, 2026

Example. Model example [006m]

February 11, 2026

Example content...

Definition. Local truth [006n]

February 11, 2026

Definition text...

Example. Local truth in a model [006o]

February 11, 2026

Example content...

Definition. Dualities [0065]

February 11, 2026

Content

Syntax and semantics of prop1 [0068]

February 11, 2026

Definition. Syntax of prop1 [0066]

February 11, 2026

Content

Definition. Semantics of prop1 [0067]

February 11, 2026

Content

Example. prop1 example [006c]

February 11, 2026

Example content...

Soundness and completeness [006e]

February 11, 2026

Content

Definition. Hilbert style proof system [006a]

February 11, 2026

Example. Hilbert proof example [006d]

February 11, 2026

Example content...

VU-AL-2026. Lecture 2 [0063]

February 11, 2026