Reflection calculus and conservativity spectra

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Other algebras related to logic (03G25)

Recommendations

On the reflection calculus with partial conservativity operators
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
Positive provability logic for uniform reflection principles
Reflection principles and provability algebras in formal arithmetic
Calibrating provability logic: from modal logic to reflection calculus

Cites work

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
A new principle in the interpretability logic of all reasonable arithmetical theories
A note on strictly positive logics and word rewriting systems
A topological study of the closed fragment of GLP
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
Arithmetization of metamathematics in a general setting
Calibrating provability logic: from modal logic to reflection calculus
scientific article; zbMATH DE number 1003731 (Why is no real title available?)
scientific article; zbMATH DE number 1202406 (Why is no real title available?)
scientific article; zbMATH DE number 1215499 (Why is no real title available?)
scientific article; zbMATH DE number 1170091 (Why is no real title available?)
scientific article; zbMATH DE number 227056 (Why is no real title available?)
Iterated local reflection versus iterated consistency
Models of transfinite provability logic
On elementary theories of ordinal notation systems based on reflection principles
On provability logics with linearly ordered modalities
On some slowly terminating term rewriting systems
On strong provability predicates and the associated modal logics
On the positive fragment of the polymodal provability logic GLP
On the reduction property for GLP-algebras
On the reflection calculus with partial conservativity operators
Positive provability logic for uniform reflection principles
Proof theoretic analysis by iterated reflection
Proof-theoretic analysis by iterated reflection
Provability algebras and proof-theoretic ordinals. I
PSPACE-decidability of Japaridze's polymodal logic
Reflection principles and provability algebras in formal arithmetic
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
Relational semantics for the Turing Schmerl calculus
Self-reference and modal logic
Semilattices with closure
Systems of Logic Based on Ordinals^†
The logic of \(\Pi_ 1\)-conservativity
The logic of \(\Pi_ 1\)-conservativity continued
The Worm Calculus
The worm principle
Transfinite recursive progressions of axiomatic theories
Turing-Taylor expansions for arithmetic theories

Cited in

(11)

On the reflection calculus with partial conservativity operators
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
Conservativity spectra and Joosten-Fernández model
Reflection algebras and conservation results for theories of iterated truth
Deducibility and independence in Beklemishev's autonomous provability calculus
Positive provability logic for uniform reflection principles
scientific article; zbMATH DE number 140368 (Why is no real title available?)
Reflection ranks and ordinal analysis
Quantified reflection calculus with one modality
Calibrating provability logic: from modal logic to reflection calculus
Equality of the spectral and dynamical definitions of reflection

This page was built for publication: Reflection calculus and conservativity spectra

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