scientific article; zbMATH DE number 5037198

MaRDI QIDQ5477944zbMATH OpenFDO

Authors Albert Visser, Lev D. Beklemishev

Publication date 29 June 2006

zbMATH Keywords

interpretability logicprovability logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• The Logic of Provability
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 1170091
• Logic of proofs and provability
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• Provability and modal logic
• The problems of logic
• Provability logic and the completeness principle
• scientific article; zbMATH DE number 4099259
• Around provability logic

Cited in

(14)

• Is there a ``Hilbert thesis?
• Hard provability logics
• Linear \(\mathrm{GLP}\)-algebras and their elementary theories
• The Henkin sentence
• scientific article; zbMATH DE number 1297597 (Why is no real title available?)
• scientific article; zbMATH DE number 937377 (Why is no real title available?)
• Two kinds of unexpected problems in writings on logic
• PROVING UNPROVABILITY
• Mathematical Knowledge Management
• Mechanising Gödel-Löb provability logic in HOL light
• A modal provability logic of explicit and implicit proofs
• The \(\Sigma_1\)-provability logic of HA revisited
• On the provability logic of bounded arithmetic
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477944)