Uniform interpolation in provability logics

zbMATH Open1418.03176MaRDI QIDQ5224686FDOQ5224686

Authors: Marta Bílková 

Publication date: 24 July 2019

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

Mathematics Subject Classification ID

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

Cited In (13)

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

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)