Expressive equivalence of least and inflationary fixed-point logic

Stephan Kreutzer. Expressive equivalence of least and inflationary fixed-point logic. Annals of Pure and Applied Logic, 130(1-3):61-78, 2004. [doi]

Abstract

Abstract is missing.