SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
From MaRDI portal
Publication:3195586
DOI10.1017/S1755020314000458zbMath1347.03049MaRDI QIDQ3195586
Publication date: 20 October 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (7)
Designing paradoxes: a revision-theoretic approach ⋮ Conditionals in theories of truth ⋮ Proof theory for functional modal logic ⋮ Intersubstitutivity principles and the generalization function of truth ⋮ Guest editors' introduction ⋮ A rational way of playing: revision theory for strategic interaction ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Analytic calculi for circular concepts by finite revision
- Comparing inductive and circular definitions: Parameters, complexity and games
- Notes on naive semantics
- Provability interpretations of modal logic
- The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
- The complexity of revision
- Alternative revision theories of truth
- Truth and paradox
- Vagueness and revision sequences
- On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
- Property theory and the revision theory of definitions
- Set-theoretic absoluteness and the revision theory of truth
- Some closure properties of finite definitions
This page was built for publication: SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
