Uniform interpolation in provability logics

MaRDI QIDQ5224686zbMATH OpenFDO

Authors Marta Bílková

Publication date 24 July 2019

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation and the existence of sequent calculi
• Uniform Lyndon interpolation property in propositional modal logics
• Publication:4893140
• Uniform interpolation in substructural logics

Cited in

(13)

• The Lyndon property and uniform interpolation over the Grzegorczyk logic
• Interpolation properties for provability logics GL and GLP
• Uniform interpolation and sequent calculi in modal logic
• Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\)
• Uniform Lyndon interpolation property in propositional modal logics
• Uniform interpolation and propositional quantifiers in modal logics
• scientific article; zbMATH DE number 1215463 (Why is no real title available?)
• Uniform Interpolation in provability logics
• Uniform interpolation in substructural logics
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Circular proofs for the Gödel-Löb provability logic
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• Uniform interpolation via nested sequents

This page was built for publication: Uniform interpolation in provability logics

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