Provability: The emergence of a mathematical modality
From MaRDI portal
Publication:1176093
DOI10.1007/BF00370383zbMath0742.03003OpenAlexW1977396974MaRDI QIDQ1176093
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
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)
Related Items
Proof Theory in Philosophy of Mathematics, The Henkin Sentence, A translation from the modal logic of provability into K4, Lewis meets Brouwer: constructive strict implication, Temporal logic of surjective bounded morphisms between finite linear processes, Transductions in arithmetic, Mathematical modal logic: A view of its evolution, ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY, The knower paradox in the light of provability interpretations of modal logic, Closed Fragments of Provability Logics of Constructive Theories, In Memoriam: George Stephen Boolos 1940–1996, Constructive Modalities with Provability Smack, The arithmetics of a theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Characters and fixed points in provability logic
- The modal logic of provability. The sequential approach
- Provability, truth, and modal logic
- On the proof of Solovay's theorem
- Significato e verita nell'aritmetica peaniana
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
- 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 the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- Provability interpretations of modal logic
- Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Calculating self-referential statements. I: Explicit calculations
- Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
- Solution of a problem of Leon Henkin
- Fixed point algebras
- Provability in arithmetic and a schema of Grzegorczyk
- Problemi aperti sulle algebre diagonali
- On deciding the truth of certain statements involving the notion of consistency
- Arithmetical necessity, provability and intuitionistic logic
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
