Cycles with Annotations. Non-Wellfounded Proof Theory of Modal Fixpoint Logics
About
Academic lecture at the University of Amsterdam on cycles with annotations in the non-wellfounded proof theory of modal fixpoint logics.
More Lecture in Amsterdam
From biobank to bedside: Ovarian cancer research
Fri, 13 Mar 2026University of Amsterdam (UvA)
FreeFrom Language Models to Cosmic Structures: A Geometric Perspective
Fri, 13 Mar 2026University of Amsterdam (UvA)
FreeSex differences in care: ICU and operating room
Fri, 13 Mar 2026University of Amsterdam (UvA)
FreeLocaties at OBA Javaplein
Sat, 14 Mar 2026Studio 1, De Hallen Studios
Free