Comparing inductive and circular definitions: parameters, complexity and games

K-U Kühnberger, B Löwe, M Möllerfeld, PD Welch

Research output: Contribution to journalArticle (Academic Journal)peer-review

9 Citations (Scopus)

Abstract

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 contributionComparing inductive and circular definitions: parameters, complexity and games
Original languageEnglish
Pages (from-to)79 - 98
JournalStudia Logica
Volume81
Publication statusPublished - 2005

Fingerprint Dive into the research topics of 'Comparing inductive and circular definitions: parameters, complexity and games'. Together they form a unique fingerprint.

Cite this