The following pages link to Context logic as modal logic (Q3189791):
Displaying 19 items.
- On the almighty wand (Q418137) (← links)
- Automata-based verification of programs with tree updates (Q845236) (← links)
- Adjunct elimination in context logic for trees (Q964499) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Bunched logics displayed (Q1935559) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- Local reasoning about data update (Q2864149) (← links)
- (Q3121529) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Adjunct Elimination in Context Logic for Trees (Q3498442) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5376651) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
