On the reflection calculus with partial conservativity operators

DOI10.1007/978-3-662-55386-2_4MaRDI QIDQ1685909zbMATH OpenOpenAlexFDO

Authors Lev D. Beklemishev

Publication date 20 December 2017

Full work available at URL https://doi.org/10.1007/978-3-662-55386-2_4

zbMATH Keywords

reflection principleprovabilityGLPstrictly positive logics

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Reflection calculus and conservativity spectra
• Positive provability logic for uniform reflection principles
• A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
• Reflection principles and provability algebras in formal arithmetic
• scientific article; zbMATH DE number 140368

Cited in

(10)

• Positive provability logic for uniform reflection principles
• Reflection calculus and conservativity spectra
• On consistent operators and reflexivity
• Calibrating provability logic: from modal logic to reflection calculus
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
• A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
• Deducibility and independence in Beklemishev's autonomous provability calculus
• scientific article; zbMATH DE number 140368 (Why is no real title available?)
• Modal companions of \(K4^+\)

This page was built for publication: On the reflection calculus with partial conservativity operators

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