The Logic of Provability

DOI10.2307/2322568MaRDI QIDQ5187257zbMATH OpenOpenAlexFDO

Authors George Boolos

Publication date 1984

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2322568

zbMATH Keywords

axiomatic systemsdecidabilityGödel numberingmodal logicmodal operatorprovability

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• On two models of provability
• scientific article; zbMATH DE number 1215499
• Provability logic—a short introduction
• scientific article; zbMATH DE number 515725

Cited in

(31)

• An incomplete system of modal logic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• An axiomatic approach to self-referential truth
• Automated proofs of Löb's theorem and Gödel's two incompleteness theorems
• Provability: The emergence of a mathematical modality
• Proving possibility properties
• Logic of proofs
• Provability logic and the completeness principle
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 1670501 (Why is no real title available?)
• Existence Proofs
• On the semantics of intensionality
• scientific article; zbMATH DE number 3849201 (Why is no real title available?)
• scientific article; zbMATH DE number 5157044 (Why is no real title available?)
• scientific article; zbMATH DE number 515725 (Why is no real title available?)
• On the degrees of unsolvability of modal predicate logics of provability
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• scientific article; zbMATH DE number 1859182 (Why is no real title available?)
• scientific article; zbMATH DE number 2113552 (Why is no real title available?)
• MÜNCHHAUSEN PROVABILITY
• scientific article; zbMATH DE number 7288886 (Why is no real title available?)
• Prawitz, Proofs, and Meaning
• Absolute Provability and Safe Knowledge of Axioms
• Plural Quantification Exposed
• scientific article; zbMATH DE number 5037198 (Why is no real title available?)
• Logic of informal provability with truth values
• The modal logic of Gödel sentences
• Dynamic Cantor Derivative Logic
• From the knowability paradox to the existence of proofs
• Logical equations and admissible rules of inference with parameters in modal provability logics

This page was built for publication: The Logic of Provability

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