Decision Problems for Linear Logic With Least and Greatest Fixed Points

Motivation: Regularisation Techniques Are Not Logic-Independent

F(μA.F)μA.F(A)μ ,  F(νA.F)νA.F.