The modal logic of provability. The sequential approach
type: Item
instance of: scholarly article
title: The modal logic of provability. The sequential approach
zbMATH Open document ID: 0523.03014
DOI: 10.1007/BF00293433
author: Giovanni Sambin
author: Silvio Valentini
published in: Journal of Philosophical Logic
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3827828
zbMATH Keywords: modal logic
zbMATH Keywords: proof-theory
zbMATH Keywords: arithmetic
zbMATH Keywords: provability
zbMATH Keywords: sequents
zbMATH Keywords: semantics
zbMATH Keywords: fixed point theorem
zbMATH Keywords: arithmetical completeness theorem
zbMATH Keywords: cut-elimination
MaRDI profile type: Publication
cites work: Q4190615
cites work: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
cites work: Q4196401
cites work: Extremely undecidable sentences
cites work: Q4754492
cites work: On the proof theory of the modal logic for arithmetic provability
cites work: Solution of a problem of Leon Henkin
cites work: Q3852250
cites work: An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
cites work: A modal sequent calculus for a fragment of arithmetic
cites work: Q3900021
cites work: THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC
cites work: Provability interpretations of modal logic
cites work: Intuitionistic diagonalizable algebras
cites work: The modal logic of provability: cut-elimination
full work available at URL: https://doi.org/10.1007/bf00293433
OpenAlex ID: W2034070758
description: scientific article; zbMATH DE number 3827828