Title :
Will deflation lead to depletion? On non-monotone fixed point inductions
Author :
Gradel, E. ; Kreutzer, Stephan
Author_Institution :
Aachen Univ., Germany
Abstract :
We survey logical formalisms based on inflationary and deflationary fixed points, and compare them to the (more familiar) logics based on least and greatest fixed points.
Keywords :
formal logic; IFP; LFP; MIC; deflationary fixed point; first-order logic; fixed point induction; greatest fixed point; inflationary fixed point; iterated relativisation; least fixed point; logical formalism; modal fixed point; modal logic; nonmonotone induction; Artificial intelligence; Computer science; Databases; Dictionaries; Logic; Page description languages; Polynomials; Power generation economics; Soil; Wind;
Conference_Titel :
Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on
Print_ISBN :
0-7695-1884-2
DOI :
10.1109/LICS.2003.1210055
