Pages that link to "Item:Q2326416"
From MaRDI portal
The following pages link to Uniform interpolation and the existence of sequent calculi (Q2326416):
Displaying 14 items.
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← 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)
- (Q4215595) (← links)
- Uniform provability in classical logic (Q4399719) (← links)
- Uniform interpolation in provability logics (Q5224686) (← 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)