Pages that link to "Item:Q5224686"
From MaRDI portal
The following pages link to Uniform interpolation in provability logics (Q5224686):
Displaying 10 items.
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
- (Q4215595) (← links)
- Uniform Interpolation in provability logics (Q6416196) (← links)