Modal Logic Foundations of Markup Structures in Annotation Systems [chapter]

Marcus Kracht
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