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.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.20.139-171

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

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

Through your library

My notes

Similar books and articles

Some modal aspects of XPath.Blader Ten Cate, Luis Farinas Del Cero & Andreas Herzig - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
Multimo dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.
Interpolation for extended modal languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.
Naturalism and Modal Reasoning.Nenad Mišćević - 1994 - Grazer Philosophische Studien 49 (1):149-173.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Modal logics for product topologies.Johan van Benthem, Guram Bezhanishvili, Balder Ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):375-99.
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
Modal supereminence and modal realism.John Divers - 1992 - Theoria 58 (2-3):99-115.
Games of imperfect information and and modal logic.Gabriel Sandu - unknown

Analytics

Added to PP
2013-12-19

Downloads
41 (#391,763)

6 months
13 (#204,126)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
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.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.

View all 16 references / Add more references