AAAI Publications, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
An Analysis of the Equational Properties of the Well-Founded Fixed Point
Arnaud Carayol, Zoltan Esik

Last modified: 2016-03-30


We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational properties of fixed point operations described by the axioms of iteration theories.


approximation fixed point theory; equational logic; iteration theories

Full Text: PDF