Invited Paper: Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (at LICS 2003)

Authors: Erich Grädel Stephan Kreutzer

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.

BibTeX

  @InProceedings{GrdelKreutzer-WillDeflationLeadto,
    author = 	 {Erich Grädel and Stephan Kreutzer},
    title = 	 {Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions},
    booktitle =  {Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003)},
    year =	 {2003},
    month =	 {June}, 
    pages =      {158-167},
    location =   {Ottawa, Canada}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }