Rethinking Revision.
We sketch a broadening of the Gupta-Belnap notion of a circular or revision theoretic definition into that of a more generalized form incorporating ideas of Kleene's generalized or higher type recursion. This thereby connects the philosophically motivated, and derived, notion of a circular definitio...
| Publicado en: | Journal of Philosophical Logic Vol. 48; no. 1; pp. 137 - 155 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Feb2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |