Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions

Authors:
Erich Grädel;Stephan Kreutzer
Affiliations:
-;-
Venue:
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Year:
2003

Citing 0
Cited 3

Backtracking games and inflationary fixed points

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
A logic of nonmonotone inductive definitions

ACM Transactions on Computational Logic (TOCL)
Destructive Rule-Based Properties and First-Order Logic

SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We survey logical formalisms based on inflationary anddeflationary fixed points, and compare them to the (morefamiliar) logics based on least and greatest fixed points.