The following pages link to A modal view of linear logic (Q4314678):
Displaying 10 items.
- A perspective on modal sequent logic (Q1187165) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Models of linear logic (Q1807458) (← links)
- Linear modalities in mininal logic (Q1866867) (← links)
- An Infinitary Model of Linear Logic (Q2948550) (← links)
- Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (Q4443011) (← links)
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)
- (Q5711863) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)