Relative expressive power of navigational querying on graphs using transitive closure

, , , , , , &
Logic Journal of the IGPL 23 (5):759-788 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzv028

Links

PhilArchive



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

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

Review: Jan Paredaens, Paul De Bra, Marc Gyssens, Dirk Van Gucht, The Structure of the Relational Database Model. [REVIEW]J. A. Makowsky - 1992 - Journal of Symbolic Logic 57 (2):759-760.
Jan Paredaens, Paul de Bra, Marc Gyssens, and Dirk van Gucht. The structure of the relational database model. EATCS monographs on theoretical computer science, vol. 17. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1989, x + 231 pp. [REVIEW]J. A. Makowsky - 1992 - Journal of Symbolic Logic 57 (2):759-760.
Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure. [REVIEW]Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.
Dirk van Dalen. Logic and structure. Universitext. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, ix + 172 pp. - Dirk van Dalen. Logic and structure. Second edition of the preceding. Universitext. Springer-Verlag, Berlin etc. 1983, x + 207 pp. [REVIEW]Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.
Dirk Van Dalen: Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
Rezension: Dirk van Dalen: L. E. J. Brouwer 1881-1966.Eckart Menzler-Trott - 2003 - Berichte Zur Wissenschaftsgeschichte 26 (2):153-154.
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
Review: Dirk van Dalen, Intuitionistic Logic; Walter Felscher, Dialogues as a Foundation for Intuitionistic Logic. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.
H. van den BUSSCHE: "Jean, Commentaire de l'Evangile spirituel". [REVIEW]F. Bovon - 1971 - Revue de Théologie Et de Philosophie 21:365.
Review: Dirk van Dalen, Algorithms and Decision Problems: a Crash Course in Recursion Theory. [REVIEW]John N. Crossley - 1989 - Journal of Symbolic Logic 54 (3):1094-1095.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,091,966)

6 months
4 (#1,004,663)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.
Multi-Dimensional Modal Logic.Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.

Add more references