scientific article; zbMATH DE number 5046774
From MaRDI portal
Publication:5483298
zbMath1105.03062MaRDI QIDQ5483298
Publication date: 16 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) Recursive ordinals and ordinal notations (03F15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (12)
Reflection algebras and conservation results for theories of iterated truth ⋮ On elementary theories of ordinal notation systems based on reflection principles ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ The omega-rule interpretation of transfinite provability logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Linear $ \mathrm{GLP}$-algebras and their elementary theories ⋮ On provability logics with linearly ordered modalities ⋮ On the complexity of the closed fragment of Japaridze's provability logic ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Conservativity spectra and Joosten-Fernández model ⋮ Topological Interpretations of Provability Logic ⋮ MÜNCHHAUSEN PROVABILITY
This page was built for publication:
