Pages that link to "Item:Q487689"
From MaRDI portal
The following pages link to Modal interpolation via nested sequents (Q487689):
Displaying 11 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)