Pages that link to "Item:Q2404074"
From MaRDI portal
The following pages link to On subexponentials, focusing and modalities in concurrent systems (Q2404074):
Displayed 8 items.
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)