Pages that link to "Item:Q2142087"
From MaRDI portal
The following pages link to Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087):
Displaying 5 items.
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
- (Q4215595) (← links)
- From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems (Q6584957) (← links)
- Abstract cyclic proofs (Q6646012) (← links)
