The following pages link to Bunched logics displayed (Q1935559):
Displaying 17 items.
- Displaying modal logic (Q1817696) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- (Q3121529) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- A labelled sequent calculus for BBI: proof theory and proof search (Q4612426) (← links)
- (Q5155678) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- (Q5376651) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705943) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)