Guarded Quantification in Least Fixed Point Logic

Gregory L. McColm. Guarded Quantification in Least Fixed Point Logic. Journal of Logic, Language and Information, 13(1):61-110, 2004. [doi]

Abstract

Abstract is missing.