The following pages link to Bunched sequential information (Q266883):
Displaying 5 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Rearranging scattered information on BSR (Q1606962) (← links)
- Inconsistency-tolerant bunched implications (Q2375364) (← links)
- Sequential Information Design (Q4992195) (← links)
- Successive refinement of information (Q5753872) (← links)