Ø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 [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

DOI

10.2307/2275590

Links

PhilArchive



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

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

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.
Books Received. [REVIEW]Peter Øhrstrøm & Per Hasle - 1997 - Studia Logica 58 (3):451-453.
Review: Peter Ohrstrom, Per F. V. Hasle, Temporal Logic. From Ancient Ideas to Artificial Intelligence. [REVIEW]Angelo Montanari & Alberto Policriti - 1997 - Journal of Symbolic Logic 62 (3):1044-1046.
deBessonet Cary G.. A many-valued approach to deduction and reasoning for artificial intelligence. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, Boston, Dordrecht, and London, 1991, xviii+ 248 pp. [REVIEW]Robert Stärk - 1995 - Journal of Symbolic Logic 60 (4):1328-1329.
Cresswell M. J.. Entities and indices. Studies in linguistics and philosophy, vol. 41. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xi + 274 pp. [REVIEW]James Higginbotham - 1993 - Journal of Symbolic Logic 58 (2):723-725.
Landman Fred. Structures for semantics. Studies in linguistics and philosophy, vol. 45. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, x + 367 pp. [REVIEW]Alice ter Meulen - 1995 - Journal of Symbolic Logic 60 (2):686-687.
Hájek Petr. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp. [REVIEW]Francis Jeffry Pelletier - 2000 - Bulletin of Symbolic Logic 6 (3):342-346.
The Metaphysics of Science By Craig Dilworth Kluwer Academic Publishers, Dordrecht, Boston, London, 1996, viii+235 PP-, £66. [REVIEW]F. Weinert - 1997 - Philosophy 72 (280):330-.
Edmund Husserl: Natur und Geist, Vorlesungen Sommersemester 1927, editado por Michael Weiler, Husserliana XXXII, Dordrecht/Boston/Londres: Kluwer Academic Publishers, 2001, 370 pp.; Die Bernauer Manuskripte über das Zeitbewußtsein (1917/ 18), editado por Rudolf Bernet y Dieter Lohmar, Husserliana XXXIII, Dordrecht/ Boston/Londres: Kluwer Academic Publishers, 2001, 466 pp.; Transzendentaler Idealismus, Texte aus dem Nachlass (1908-1921), editado por Robin D. Rollinger, en colaboración con Rochus Sowa, Husserliana XXXVI, Dordrecht/Boston/Londres: Kluwer Academic Publishers, 2003, 243 pp. [REVIEW]Rosemary Rizo-Patrón - 2004 - Areté. Revista de Filosofía 16 (1):163-175.
van Benthem Johan. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874. Synthese library, vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxii + 280 pp. [REVIEW]Steven T. Kuhn - 1992 - Journal of Symbolic Logic 57 (3):1137-1138.
Chris Mortensen. Inconsistent mathematics. Mathematics and its applications, vol. 312. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, ix + 155 pp. [REVIEW]Newton C. A. da Costa & Otávio Bueno - 1997 - Journal of Symbolic Logic 62 (2):683-685.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Thomas Reid and “The Way of Ideas” Roger Gallie Dordrecht, Boston and London: Kluwer Academic Publishers, 1989, xxi + 287 pp., US$64.00. [REVIEW]D. D. Todd - 1993 - Dialogue 32 (2):422-.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Ørstrø & Per F. V. Hasle - 1995 - Springer Verlag.
Book ReviewJoke Meheus , Inconsistency in Science. Dordrecht, Boston, London: Kluwer Academic Publishers , x + 222 pp., $74.00. [REVIEW]Peter Quigley - 2003 - Philosophy of Science 70 (3):637-639.

Analytics

Added to PP
2016-06-30

Downloads
24 (#656,297)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references