Modal logic foundations of markup structures in annotation systems

Abstract

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. © 2011 Springer-Verlag Berlin Heidelberg.