The modal logic of provability. The sequential approach

DOI10.1007/BF00293433MaRDI QIDQ1056745zbMATH OpenOpenAlexFDO

Authors Giovanni Sambin, Silvio Valentini

Publication date 1982

Published in Journal of Philosophical Logic (Search for Journal in Brave)

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

zbMATH Keywords

fixed point theoremsemanticsmodal logicarithmeticcut-eliminationprovabilityarithmetical completeness theoremsequentsproof-theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites work

• scientific article; zbMATH DE number 3652414 (Why is no real title available?)
• scientific article; zbMATH DE number 3708351 (Why is no real title available?)
• scientific article; zbMATH DE number 3628926 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• A modal sequent calculus for a fragment of arithmetic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Extremely undecidable sentences
• Intuitionistic diagonalizable algebras
• On the proof theory of the modal logic for arithmetic provability
• Provability interpretations of modal logic
• Solution of a problem of Leon Henkin
• THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC
• The modal logic of provability: cut-elimination
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Cited in

(35)

• A proof theory for the logic of provability in true arithmetic
• Circular proofs for the Gödel-Löb provability logic
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• scientific article; zbMATH DE number 7243672 (Why is no real title available?)
• The fixed point property in modal logic
• Cut elimination for GLS using the terminability of its regress process
• Cut-elimination for weak Grzegorczyk logic Go
• The Method of Tree-Hypersequents for Modal Propositional Logic
• A formalization of Sambins's normalization for GL
• The modal logic of provability: cut-elimination
• On some proof theoretical properties of the modal logic GL
• Proof analysis in modal logic
• Formal topological characterizations of various continuous domains
• Uniform interpolation and propositional quantifiers in modal logics
• Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq
• Proof-theoretic results of common sense modal predicate calculi
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• Intuitionistic Decision Procedures Since Gentzen
• Valentini's cut-elimination for provability logic resolved
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Provability multilattice logic
• On the proof-theory of two formalisations of modal first-order logic
• Polynomially and superexponentially shorter proofs in fragments of arithmetic
• Interpolation properties for Sacchetti's logics
• Modal interpolation via nested sequents
• Provability: The emergence of a mathematical modality
• Kripke Semantics for Basic Sequent Systems
• The bounded proof property via step algebras and step frames
• An epistemic logic for becoming informed
• Modal tableau calculi and interpolation
• Syntactical results on the arithmetical completeness of modal logic
• The Henkin sentence
• A realization theorem for the Gödel-Löb provability logic
• 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: The modal logic of provability. The sequential approach

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