Relational Semantics for the Turing Schmerl Calculus
From MaRDI portal
Publication:5224574
zbMath1418.03086arXiv1709.04715MaRDI QIDQ5224574
Eduardo Hermo Reyes, Joost J. Joosten
Publication date: 24 July 2019
Full work available at URL: https://arxiv.org/abs/1709.04715
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (4)
The logic of Turing progressions ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ Reflection calculus and conservativity spectra ⋮ Turing-Taylor expansions for arithmetic theories
This page was built for publication: Relational Semantics for the Turing Schmerl Calculus
