News

Specific topics include: intuitionistic logic, justification of logical laws, judgmental S4 and staged computation, classical modal logics, axiom systems, Kripke semantics, correspondence theory, ...
Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, ...
Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...
In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the ...
Logic is the study of reasoning. Alethic modal logic studies reasoning by using modalities of truth such as possibility, impossibility, and necessity.
This will lead the way to an outline of the famous limitative results that have philosophical ramifications: Godel's incompleteness theorems and Tarski's undefinability theorem. The course ends with ...