Lectures related to Philosophical logic

Introduction to Dynamic Logic

Introduces Dynamic Logic, covering its principles, issues, and design variations, including footed vs. unfooted designs and multiple-output structures.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Place-Valued Arithmetic: Addition and Subtraction

Explores place-valued arithmetic, covering addition, subtraction, and limitations of digital systems.