Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge KU Leuven
Approximation Fixpoint Theory (AFT) is an algebraic fixpoint theory of
nonmonotone operators. It was founded in order to unify semantics
of various non-monontic logics, in particular default logic (DL),
autoepistemic logic (AEL), and logic programming (LP).
Using AFT, one can obtain a family of semantics for any of these
logics by defining (only) a semantic operator: an operator that maps
interpretations to ...