The following pages link to Some modal aspects of XPath (Q2901192):
Displayed 7 items.
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Axiomatizations for downward XPath on data trees (Q2402362) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)