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)

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)

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)