Pages that link to "Item:Q2326416"
From MaRDI portal
The following pages link to Uniform interpolation and the existence of sequent calculi (Q2326416):
Displaying 9 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
