Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Eighteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2003)

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}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski