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)

Links

PhilArchive



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

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

Some Modal Aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
Rectangular Games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.
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.
Complete Axiomatizations of Finite Syntactic Epistemic States.Thomas Ågotnes & Michal Walicki - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 33--50.
Menander Reliquiae Selectae.F. H. Sandbach (ed.) - 1990 - Oxford University Press UK.
Sources for the Philosophy of Archytas.Monte Ransome Johnson - 2008 - Ancient Philosophy 28 (1):173-199.
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
The Complexity of Horn Fragments of Linear Logic.Max I. Kanovich - 1994 - Annals of Pure and Applied Logic 69 (2-3):195-241.
The Problem of Fragments: Two Interpretative Strategies.Robert M. Harnish - 2009 - Pragmatics and Cognition 17 (2):251-282.

Analytics

Added to PP
2016-06-30

Downloads
24 (#477,320)

6 months
1 (#417,896)

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

On the Calculus of Relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
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