Pages that link to "Item:Q1712936"
From MaRDI portal
The following pages link to Uniform interpolation and sequent calculi in modal logic (Q1712936):
Displaying 14 items.
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
- (Q4215595) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)