Review: Peter Ohrstrom, Per F. V. Hasle, Temporal Logic. From Ancient Ideas to Artificial Intelligence [Book Review]

&
Journal of Symbolic Logic 62 (3):1044-1046 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

original Montanari, Angelo; Policriti, Alberto (1997) "Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp". Journal of Symbolic Logic 62(3):1044-1046

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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

Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp. [REVIEW]Angelo Montanari & Alberto Policriti - 1997 - Journal of Symbolic Logic 62 (3):1044-1046.
Peter Øhrstrøm and Per Hasle. A. N. Prior's rediscovery of tense logic. Erkenntnis, vol. 39 , pp. 23–50.Nino Cocchiarella - 1995 - Journal of Symbolic Logic 60 (1):347-348.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Ørstrø & Per F. V. Hasle - 1995 - Springer Verlag.
Torben Braüner, per Hasle and Peter øhrstrøm/preface Patrick blackburn/arthur prior and hybrid logic B. jack copeland/meredith, prior, and the history of possible worlds semantics.Torben Braüner - 2006 - Synthese 150 (1):509-510.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Reviews of Gennaro Chtjerchia, Dynamics of meaning: anaphora, presupposition, and the the [sic] of grammar. Chicago and London: The University of Chicago Press, 1995.xv+ 270 pp, £59.95 , £31.95 G. Priest, Beyond the limits of thought. Cambridge: Cambridge University Press, 1995. xv 4-274pp. £35.00 Marco Panza and Jean Michel Salankis, L'Objectivité Mathématique. Platonisme et Structures Formelles, Paris: Masson, 1995. ix+241 pp. No Price stated Peter Øhrstrøm and PER F. V. HASLE, Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer, 1995. viii+413 pp. DM 140/$99.00/£63.00. ISBN 0792335864 L. M. De Rijk , Iohannes Buridanus Summulae de Praedicabilibus Nijmegen: Ingenium, 1995. xliv + 82 pp. No price stated E. P. Bos , Iohannes Buridanus Summulae in Praedicamenta Nijmegen: Ingenium, 1994. liv+ 157 pp. No Price stated R. Van Der Lecq and H. A. G. Braakhuis , Iohannes Buridanus Questiones Elencorum Nijmegen: Ingenium, 1994. xxxviii +153 pp. No price stated D. Mi. [REVIEW]Rainer Bäuerle, N. da Costa, O. Bueno, Javier De Lorenzo & Alberto Zanardo - 1996 - History and Philosophy of Logic 17 (1 & 2):155-177.
Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
Temporal prepositions and their logic.Ian Pratt-Hartmann - 2005 - Artificial Intelligence 166 (1-2):1-36.
Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
A non-reified temporal logic.Fahiem Bacchus, Josh Tenenberg & Johannes A. Koomen - 1991 - Artificial Intelligence 52 (1):87-108.

Analytics

Added to PP
2013-11-03

Downloads
25 (#881,849)

6 months
4 (#1,249,987)

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

No references found.

Add more references