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