A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
From MaRDI portal
Publication:1709691
DOI10.1007/978-3-319-72056-2_6zbMath1505.03132OpenAlexW2769747880MaRDI QIDQ1709691
Publication date: 6 April 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_6
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (4)
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 ⋮ Modal companions of \(K4^+\)
This page was built for publication: A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
