On the proof theory of modal logics with fixed points | Thomas Studer, 13.05.2021

Round-16 hunt: picked; source: named-course long-video search (r16 wave 4); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

A 46-minute video from PDMI Logic Lab: “On the proof theory of modal logics with fixed points | Thomas Studer, 13.05.2021”.

Video by PDMI Logic Lab, played through YouTube's embedded player.