A modal sequent calculus for a fragment of arithmetic

DOI10.1007/BF00370323zbMath0457.03016MaRDI QIDQ1150597

Silvio Valentini, Giovanni Sambin

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

propositional modal logicGLcanonical derivability predicatescut elemination

Mathematics Subject Classification ID

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

Related Items

On modal systems having arithmetical interpretations ⋮ Provability multilattice logic ⋮ On the proof-theory of two formalisations of modal first-order logic ⋮ A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs ⋮ A realization theorem for the Gödel-Löb provability logic ⋮ Algebraic and relational semantics for tense logics ⋮ The bounded proof property via step algebras and step frames ⋮ Unnamed Item ⋮ The modal logic of provability. The sequential approach ⋮ Modal tableau calculi and interpolation ⋮ On some proof theoretical properties of the modal logic GL ⋮ Circular proofs for the Gödel-Löb provability logic ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item