Complete axiomatizations for XPath fragments

, &
Journal of Applied Logic 8 (2):153-172 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.09.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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.
Some modal aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp. [REVIEW]Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
Review: Maarten Marx, Laszlo Polos, Michael Masuch, Arrow Logic and Multi-Modal Logic. [REVIEW]Roger Maddux - 1998 - Journal of Symbolic Logic 63 (1):333-336.
Review: Maarten Marx, Yde Venema, Multi-Dimensional Modal Logic. [REVIEW]Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
Rectangular games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.
Rectangular Games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.
Maarten Marx and Yde Venema, Multi-Dimensional Modal Logic.M. Zakharyaschev - 2000 - Journal of Logic Language and Information 9 (1):128-131.
Multi-dimensional modal logic, Maarten Marx and Yde Venema.Michael Zakharyaschev - 2000 - Journal of Logic, Language and Information 9 (1):128-131.
Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx.Patrick Blackburn & Maarten Marx Hybrid Logic - 2001 - Journal of Symbolic Logic 66 (3):977-1010.

Analytics

Added to PP
2016-06-30

Downloads
37 (#445,119)

6 months
13 (#219,908)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some modal aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.

Add more citations

References found in this work

Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.

View all 9 references / Add more references