Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp [Book Review]

Bulletin of Symbolic Logic 23 (2):203-204 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2017.20

Links

PhilArchive



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

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

Ramsay Allan. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp. [REVIEW]Francis Jeffry Pelletier - 1996 - Journal of Symbolic Logic 61 (1):347-351.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Cambridge Tracts in Theoretical Computer Science Vol. 53. [REVIEW]Valentin Goranko - 2004 - Studia Logica 76 (1):135-142.
Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
Hindley J. Roger. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.
Simmons Harold. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp. [REVIEW]Norman Danner - 2001 - Bulletin of Symbolic Logic 7 (3):380-383.
Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.
Manzano María. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.
Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science vol. 53. [REVIEW]Valentin Goranko - 2004 - Studia Logica 76 (1):135-142.
Fremlin D. H.. Consequences of Martin's axiom. Cambridge tracts in mathematics, no. 84. Cambridge University Press, Cambridge etc. 1984, xii + 325 pp. [REVIEW]William Weiss - 1988 - Journal of Symbolic Logic 53 (2):650-651.
Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp. [REVIEW]Clinton T. Conley - 2016 - Bulletin of Symbolic Logic 22 (3):358-360.
Book reviews - Dean Keith Simonton, creativity in science: Chance, logic, genius, and zeitgeist, cambridge: Cambridge university press, 2004, XV + 216, $21.99, ISBN 0-521-83579-8 and 0-521-54369-X. [REVIEW]Morton L. Schagrin - 2005 - Minds and Machines 15 (2):268-270.
Model-checking CTL* over flat Presburger counter systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
George Boolos (ed.), Meaning and method: Essays in honor of Hilary Putnam, cambridge, UK: Cambridge university press, 1990. [REVIEW]Yakir Levin - 1997 - Minds and Machines 7 (4):585-590.

Analytics

Added to PP
2017-12-07

Downloads
23 (#664,515)

6 months
6 (#504,917)

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