Provability logic—a short introduction

DOI10.1111/J.1755-2567.1996.TB00529.XzbMATH Open0897.03055OpenAlexW2132041470MaRDI QIDQ4378052FDOQ4378052

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

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

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)

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
• The Logic of Provability
• A short introduction to intuitionistic logic
• The arithmetics of a theory
• Interpolation properties for Sacchetti's logics
• Provability and modal logic
• Provability: The emergence of a mathematical modality
• Title not available (Why is that?)
• 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)