Provability logic—a short introduction

DOI10.1111/J.1755-2567.1996.TB00529.XMaRDI QIDQ4378052zbMATH OpenOpenAlexFDO

Authors Per Lindström

Publication date 19 October 1998

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1996.tb00529.x

zbMATH Keywords

Kripke modelsmodal logicprovability logicinterpretability logicbimodal logicsfixed-point theorem for GL

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 5157044
• On two models of provability
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases

Cited in

(19)

• Circular proofs for the Gödel-Löb provability logic
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• On two models of provability
• Transductions in arithmetic
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Mathematical Knowledge Management
• A short introduction to intuitionistic logic
• The Logic of Provability
• The arithmetics of a theory
• Interpolation properties for Sacchetti's logics
• Provability: The emergence of a mathematical modality
• Provability and modal logic
• scientific article; zbMATH DE number 1341927 (Why is no real title available?)
• Solovay's completeness without fixed points
• Lewis meets Brouwer: constructive strict implication
• A course on bimodal provability logic
• The Henkin sentence
• Note on some fixed point constructions in provability logic
• Effectively constructible fixed points in Sacchetti's modal logics of provability

This page was built for publication: Provability logic—a short introduction

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