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

GLPprovabilityreflection principlestrictly 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

(11)

• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
• A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
• Modal companions of \(K4^+\)
• 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?)
• Quantified reflection calculus with one modality
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Reflection calculus and conservativity spectra
• Calibrating provability logic: from modal logic to reflection calculus
• On consistent operators and reflexivity

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)