Temporal logic: Mathematical foundations and computational aspects, volume 2, Dov M. Gabbay, mark A. Reynolds, and Marcelo finger [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

2004

DOI

10.1023/a:1011212908144

Links

PhilArchive



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

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

Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 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.
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.
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical problems from applied logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
Labelled deductive systems, volume 1, Dov M. Gabbay.Geert-Jan M. Kruijff - 1998 - Journal of Logic, Language and Information 7 (4):502-506.
Classical vs non-classical logics: the universality of classical logic.Dov M. Gabbay - 1993 - Saarbrücken, Germany: Max-Planck-Institut für Informatik.
Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.

Analytics

Added to PP
2009-01-28

Downloads
44 (#354,888)

6 months
7 (#416,569)

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

Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.
Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.
Fibring Logics.Dov M. Gabbay - 2000 - Studia Logica 66 (3):440-443.
Natural deduction for generalized quantifiers.van M. Lambalgen - 1996 - In J. van der Does & Van J. Eijck (eds.), Quantifiers, Logic, and Language. Stanford University. pp. 54--225.

Add more references