Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger, Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 [Book Review]

Journal of Logic Language and Information 10 (3):406-410 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
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

Temporal logic: Mathematical foundations and computational aspects, volume 2, Dov M. Gabbay, mark A. Reynolds, and Marcelo finger. [REVIEW]Ullrich Hustadt - 2001 - Journal of Logic, Language and Information 10 (3):406-410.
Adding a temporal dimension to a logic system.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, eds. The Imperative Future: Principles of Executable Temporal Logic. [REVIEW]M. Finger - 1997 - Journal of Logic Language and Information 6:105-106.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.
Parsing natural language using LDS: a prototype.M. Finger, R. Kibble, D. Gabbay & R. Kempson - 1997 - Logic Journal of the IGPL 5 (5):647-671.
REVIEWS-Many-dimensional modal logics: Theory and applications.D. M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev & Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-78.
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.

Analytics

Added to PP
2014-03-26

Downloads
1 (#1,884,204)

6 months
1 (#1,533,009)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references