Cyclic Modal Proofs

Explore cyclic modal proofs in this 30-minute lecture from the Hausdorff Trimester Program: Types, Sets and Constructions. Delve into the world of cyclic and ill-founded proofs as an alternative to traditional finite tree proofs in the Hilbertian tradition. Discover how these proofs encode termination arguments and generate induction invariants, offering solutions to challenges faced by conventional proof systems. Examine the cyclic proof theory for modal fixed point logic and its role in deriving completeness results. Gain insights into this important area of applied logic presented by Bahareh Afshari at the Hausdorff Center for Mathematics.