Provability: The emergence of a mathematical modality

DOI10.1007/BF00370383MaRDI QIDQ1176093zbMATH OpenOpenAlexFDO

Authors George Boolos, Giovanni Sambin

Publication date 25 June 1992

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370383

zbMATH Keywords

historical surveymodal logic of provability

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Provability and modal logic
• On two models of provability
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• The Logic of Provability
• Provability logic—a short introduction

Cites work

• scientific article; zbMATH DE number 3652414 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Arithmetical necessity, provability and intuitionistic logic
• Calculating self-referential statements. I: Explicit calculations
• Characters and fixed points in provability logic
• Fixed point algebras
• For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)
• On deciding the truth of certain statements involving the notion of consistency
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• On the proof of Solovay's theorem
• Problemi aperti sulle algebre diagonali
• Provability in arithmetic and a schema of Grzegorczyk
• Provability interpretations of modal logic
• Provability, truth, and modal logic
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Significato e verita nell'aritmetica peaniana
• Solution of a problem of Leon Henkin
• Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• The modal logic of provability. The sequential approach
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Cited in

(16)

• Closed Fragments of Provability Logics of Constructive Theories
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Transductions in arithmetic
• Proof theory in philosophy of mathematics
• A translation from the modal logic of provability into K4
• In Memoriam: George Stephen Boolos 1940–1996
• Notes on my scientific life
• Mathematical modal logic: A view of its evolution
• The modal logic of Gödel sentences
• The arithmetics of a theory
• The knower paradox in the light of provability interpretations of modal logic
• Provability and modal logic
• Lewis meets Brouwer: constructive strict implication
• Constructive modalities with provability smack
• The Henkin sentence
• Temporal logic of surjective bounded morphisms between finite linear processes

This page was built for publication: Provability: The emergence of a mathematical modality

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