Pages that link to "Item:Q4659503"
From MaRDI portal
The following pages link to Combining Soft Linear Logic and Spatio-temporal Operators (Q4659503):
Displayed 5 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)