Invited Talk: Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (at LICS 2003)
Authors: Erich Grädel Stephan KreutzerAbstract
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} }