The modal logic of provability. The sequential approach

From MaRDI portal
Publication:1056745

DOI10.1007/BF00293433zbMath0523.03014OpenAlexW2034070758MaRDI QIDQ1056745

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




Related Items (34)

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVEDCut elimination for GLS using the terminability of its regress processAn epistemic logic for becoming informedEffectively constructible fixed points in Sacchetti's modal logics of provabilityCut-elimination for provability logic by terminating proof-search: formalised and deconstructed using CoqThe Henkin SentenceA formalization of Sambins's normalization for GLUniform interpolation and propositional quantifiers in modal logicsProvability in finite subtheories of PA and relative interpretability: a modal investigationProvability multilattice logicPolynomially and superexponentially shorter proofs in fragments of arithmeticOn the proof-theory of two formalisations of modal first-order logicA New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free ProofsA realization theorem for the Gödel-Löb provability logicA proof theory for the logic of provability in true arithmeticThe fixed point property in modal logicProvability: The emergence of a mathematical modalityModal interpolation via nested sequentsIntuitionistic Decision Procedures Since GentzenKripke Semantics for Basic Sequent SystemsCut-elimination for weak Grzegorczyk logic Go2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03Note on some fixed point constructions in provability logicThe Method of Tree-Hypersequents for Modal Propositional LogicFormal topological characterizations of various continuous domainsThe bounded proof property via step algebras and step framesUnnamed ItemThe modal logic of provability: cut-eliminationInterpolation properties for Sacchetti's logicsModal tableau calculi and interpolationOn some proof theoretical properties of the modal logic GLCircular proofs for the Gödel-Löb provability logicSyntactical results on the arithmetical completeness of modal logicProof analysis in modal logic




Cites Work




This page was built for publication: The modal logic of provability. The sequential approach