Pages that link to "Item:Q2368991"
From MaRDI portal
The following pages link to Linear and affine logics with temporal, spatial and epistemic operators (Q2368991):
Displaying 9 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)
