scientific article; zbMATH DE number 6302896

zbMath1331.03040MaRDI QIDQ5419872

Lev D. Beklemishev

Publication date: 11 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordinal analysisprovability logicsordinal representation systempositive fragments of modal logicunprovable combinatorial principles

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Reflection algebras and conservation results for theories of iterated truth ⋮ On some slowly terminating term rewriting systems ⋮ Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics ⋮ The logic of Turing progressions ⋮ Positive provability logic for uniform reflection principles ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ Reflection calculus and conservativity spectra ⋮ A Note on Strictly Positive Logics and Word Rewriting Systems ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ REFLECTION RANKS AND ORDINAL ANALYSIS