A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Modal Logic Foundations of Markup Structures in Annotation Systems
[chapter]
2011
Studies in Computational Intelligence
In this paper I explain how modal logic is used to talk about structured documents and how this relates to markup languages, in particular XML. It will be seen that there is a tight connection between XPath and dynamic logic over ordered trees. This connection allows to get a good insight into the semantics and complexity of XPath.
doi:10.1007/978-3-642-22613-7_7
fatcat:gzd72mn4kfa75o6x472k73iagy