The following pages link to Some modal aspects of XPath (Q2901192):
Displaying 8 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)
- Data graphs with incomplete information (and a way to complete them) (Q6545578) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
