Explicit fixed points in interpretability logic (Q1176094): Difference between revisions

The explicit definability of fixed points is proved for the interpretability logic IL. The authors also show that the uniqueness is an immediate corollary of a theorem of Smoryński and that the fixed points can be simplified in the case of ILW.