Pages that link to "Item:Q3019968"
From MaRDI portal
The following pages link to A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968):
Displayed 4 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- The succinctness of the cover modality (Q4586149) (← links)