The following pages link to Simon Docherty (Q1653005):
Displayed 8 items.
- Modular tableaux calculi for separation theories (Q1653006) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- A non-wellfounded, labelled proof system for propositional dynamic logic (Q2180527) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- Erratum to: A substructural logic for layered graphs (Q2987058) (← links)
- (Q3121529) (← links)
- (Q4553286) (← links)
- (Q5089285) (← links)