Provability: The emergence of a mathematical modality
The germ of the modal logic of provability, as well as the ones of many other logical disciplines, can be found in Gödel's works. In this quite interesting paper, the authors give a historical survey of the development of the modal logic of provability. Some of the basic notions and results concerning this subject are presented, followed by the corresponding bibliographical and historical facts, including sometimes relevant details related to the communication between logicians working in this field. The appendix of the paper contains Kripke's remarkable proof that the set of sentences of quantified modal logic that are valid in all transitive, converse well-founded frames is \(\Pi^ 2_ 1\)- complete. The material is presented very clearly, correctly and in a nice and understandable style.
- 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.)
- 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?)
- 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.)
- Mathematical modal logic: A view of its evolution
- Lewis meets Brouwer: constructive strict implication
- The knower paradox in the light of provability interpretations of modal logic
- The arithmetics of a theory
- In Memoriam: George Stephen Boolos 1940–1996
- Proof theory in philosophy of mathematics
- The Henkin sentence
- Closed Fragments of Provability Logics of Constructive Theories
- A translation from the modal logic of provability into K4
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
- Constructive modalities with provability smack
- Provability and modal logic
- The modal logic of Gödel sentences
- Temporal logic of surjective bounded morphisms between finite linear processes
- Notes on my scientific life
- Transductions in arithmetic
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)
