On two models of provability

MaRDI QIDQ3447197zbMATH OpenFDO

Authors Sergei Artemov

Publication date 28 June 2007

zbMATH Keywords

logic of proofsprovability logicsurvey

Mathematics Subject Classification ID

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

Recommendations

• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• Provability logic—a short introduction
• Logic of proofs and provability
• scientific article; zbMATH DE number 1215499
• Explicit provability and constructive semantics

Cited in

(9)

• Provability: The emergence of a mathematical modality
• Representations and the foundations of mathematics
• More on Putnam's models: a reply to Bellotti
• The Logic of Justification
• Provability logic—a short introduction
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• The Logic of Provability
• Provability and modal logic
• Symmetric Logic of Proofs

This page was built for publication: On two models of provability

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