Definition. Lecture 1 › Hilbert style proof system [006a]

  • February 11, 2026

Example. Hilbert proof example [006d]

  • February 11, 2026

Example content...

Context

    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...