Some modal aspects of XPath
Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak · Journal of Applied Non-Classical Logics · 2010
This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.