Solovay-type theorems for circular definitions

DOI10.1017/S1755020314000458MaRDI QIDQ3195586zbMATH OpenFDO

Authors Shawn Standefer

Publication date 20 October 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020314000458

zbMATH Keywords

revision theorySolovay's completeness theorem

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Solovay's completeness without fixed points
• Reasoning in circles
• Circular proofs for the Gödel-Löb provability logic
• Revision without revision sequences: circular definitions
• scientific article; zbMATH DE number 6868322

Cites work

• Alternative revision theories of truth
• Analytic calculi for circular concepts by finite revision
• Comparing inductive and circular definitions: Parameters, complexity and games
• scientific article; zbMATH DE number 4010467 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 2101966 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Notes on naive semantics
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• Property theory and the revision theory of definitions
• Provability interpretations of modal logic
• Set-theoretic absoluteness and the revision theory of truth
• Some closure properties of finite definitions
• The complexity of revision
• The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
• Truth and paradox
• Vagueness and revision sequences

Cited in

(11)

• Proof theory for functional modal logic
• Intersubstitutivity principles and the generalization function of truth
• Designing paradoxes: a revision-theoretic approach
• Conditionals in theories of truth
• Circularity in soundness and completeness
• Addressing Circular Definitions via Systems of Proofs
• scientific article; zbMATH DE number 5510997 (Why is no real title available?)
• scientific article; zbMATH DE number 6868322 (Why is no real title available?)
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• Guest editors' introduction
• A rational way of playing: revision theory for strategic interaction

This page was built for publication: Solovay-type theorems for circular definitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3195586)