Modular sequent calculi for interpretability logics

DOI10.1017/S1755020325100701MaRDI QIDQ6913439zbMATH OpenFDO

Authors Cosimo Perini Brogi, Sara Negri, N. Olivetti

Publication date 21 October 2025

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020325100701

zbMATH Keywords

cut-eliminationstructural proof theoryinterpretability logicsVerbrugge semanticsmodal logics for metamathematics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Relative consistency and interpretations (03F25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites work

• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 1045790 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• scientific article; zbMATH DE number 7699443 (Why is no real title available?)
• A cut-free sequent system for the smallest interpretability logic
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Analytic cut
• Complexity of the interpretability logic IL
• Complexity of the interpretability logics ILW and ILP
• Conditional beliefs: from neighbourhood semantics to sequent calculus
• Continuity and geometric logic
• Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
• Does the deduction theorem fail for modal logic?
• Filtrations of generalized Veltman models
• Interpretability logics and generalised Veltman semantics
• Labelled tableaux for interpretability logics
• Mechanising Gödel-Löb provability logic in HOL light
• Modal Matters for Interpretability Logics
• Modal completeness of sublogics of the interpretability logic IL
• On the proofs of arithmetical completeness for interpretability logic
• Proof Analysis
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Proof analysis in modal logic
• Proofs and countermodels in non-classical logics
• Provability interpretations of modal logic
• Some independence results in interpretability logic
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• The closed fragment of IL is PSPACE hard
• The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}
• The interpretability logic of Peano arithmetic
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• The principles of interpretability
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• Undecidable theories
• Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

This page was built for publication: Modular sequent calculi for interpretability logics

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