A propositional logic with explicit fixed points
interpreting implication as formal provability
scientific article; zbMATH DE number 3735776