Eighteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2003)

Invited Talk: 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 Symp. on Logic in Computer Science, {LICS} 2003},
    year =	 2003,
    editor =	 {Phokion G. Kolaitis},
    month =	 {June}, 
    pages =      {158},
    location =   {Ottawa, Canada}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }