Pages that link to "Item:Q4645752"
From MaRDI portal
The following pages link to A uniform framework for substructural logics with modalities (Q4645752):
Displaying 11 items.
- An algebraic approach to subframe logics. Modal case (Q540406) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- (Q3509214) (← links)
- (Q5015271) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)