Pages that link to "Item:Q2296754"
From MaRDI portal
The following pages link to Axiomatising logics with separating conjunction and modalities (Q2296754):
Displaying 6 items.
- A logic of separating modalities (Q290917) (← links)
- Conjunctive normal forms and weak modal logics without the axiom of necessity (Q761441) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- (Q5155678) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)