Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are bolface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.
|Translated title of the contribution||Comparing inductive and circular definitions: parameters, complexity and games|
|Pages (from-to)||79 - 98|
|Publication status||Published - 2005|