• DocumentCode
    1615837
  • Title

    Will deflation lead to depletion? On non-monotone fixed point inductions

  • Author

    Gradel, E. ; Kreutzer, Stephan

  • Author_Institution
    Aachen Univ., Germany
  • fYear
    2003
  • Firstpage
    158
  • Lastpage
    167
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on
  • ISSN
    1043-6871
  • Print_ISBN
    0-7695-1884-2
  • Type

    conf

  • DOI
    10.1109/LICS.2003.1210055
  • Filename
    1210055
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1615837