Abhishek De (IRIF), Provability of linear logic with fixed points



Fixed point logics are logics enriched with one or more fixed point operators. There are several motivations for investigating fixed point logics from the study of algebraic structures (like Kleene lattices) to the study of (co)inductive type systems. In this talk, I will give a brief overview of fixed point logics and concentrate specifically on linear logic with fixed points discussing various proof systems, their expressivity, and truth semantics.