 The fixed point approach is also the point of departure of the revision theory of truth developed by Belnap and Gupta (1993). The revision theory of truth is the most influential theory of truth and the semantic paradoxes that has been developed since the theory of Kripke. The revision theory considers the standard truth revision operator \(\tau\) defined by (6) as an operator on the totally interpreted languages. On these languages \(\tau\) doesn’t have a fixed point: If it had such a fixed point \(L\) then \(L\) would be a totally interpreted language satisfying the full schema \(T\), directly contradicting Tarski’s theorem. Since \(\tau\) doesn’t have a fixed point on the totally interpreted languages, the revision theory instead considers transfinite sequences \(L_1, L_2\), … , \(L_{\omega}, L_{\omega +1}\), … of totally interpreted languages satisfying: