Some modal aspects of XPath

Journal of Applied Non-Classical Logics 20 (3):139-171 (2010)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2013-12-19

Downloads
26 (#443,022)

6 months
1 (#415,205)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Exploring Logical Dynamics.Johan van Benthem - 2001 - Studia Logica 67 (1):111-114.
Modal Logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.

View all 16 references / Add more references