On the reflection calculus with partial conservativity operators

DOI10.1007/978-3-662-55386-2_4zbMath1496.03246OpenAlexW2726060486MaRDI QIDQ1685909

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

provabilityreflection principleGLPstrictly positive logics

Mathematics Subject Classification ID

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

Related Items (5)

Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ Reflection calculus and conservativity spectra ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Modal companions of \(K4^+\)

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