A logic of non-monotone inductive definitions and its modularity properties (0)

by Marc Denecker, Eugenia Ternovska
Venue:In Lifschitz and Niemelä [14