The following pages link to Bunched logics displayed (Q1935559):
Displaying 9 items.
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- (Q3121529) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5155678) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- (Q5376651) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
