scientific article; zbMATH DE number 5037198
From MaRDI portal
Publication:5477944
zbMath1100.03051MaRDI QIDQ5477944
Albert Visser, Lev D. Beklemishev
Publication date: 29 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Is there a ``Hilbert thesis? ⋮ The Henkin Sentence ⋮ Hard provability logics ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Linear $ \mathrm{GLP}$-algebras and their elementary theories ⋮ A modal provability logic of explicit and implicit proofs ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)