Logics of Time and Computation

Studia Logica 49 (2):284-286 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1992

Links

PhilArchive



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

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

Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.
Review: Robert Goldblatt, Logics of Time and Computation. [REVIEW]Rohit Parikh - 1995 - Journal of Symbolic Logic 60 (1):347-347.
Review: Robert Goldblatt, Logics of Time and Computation. [REVIEW]Rohit Parikh - 1991 - Journal of Symbolic Logic 56 (4):1495-1496.
Goldblatt Robert. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp. [REVIEW]Rohit Parikh - 1991 - Journal of Symbolic Logic 56 (4):1495-1496.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
Goldblatt Robert. Logics of time and computation. Second edition of LVI 1495. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1992, also distributed by the University of Chicago Press, Chicago, ix + 180 pp. [REVIEW]Rohit Parikh - 1995 - Journal of Symbolic Logic 60 (1):347-347.
Proof Systems for Reasoning about Computation Errors.Arnon Avron & Beata Konikowska - 2009 - Studia Logica 91 (2):273-293.
How Much of One-Way Computation Is Just Thermodynamics?Janet Anders, Michal Hajdušek, Damian Markham & Vlatko Vedral - 2008 - Foundations of Physics 38 (6):506-522.
Theory of Linear Order in Extended Logics.Heinrich Herre - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 139--192.
Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3):239-267.
Computation with run time skolemisation (N-Prolog part 3).D. M. Gabbay & U. Reyle - 1993 - Journal of Applied Non-Classical Logics 3 (1):93-128.
Choiceless polynomial time.Andreas Blass, Yuri Gurevich & Saharon Shelah - 1999 - Annals of Pure and Applied Logic 100 (1-3):141-187.
Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers.Wolfgang Lenski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 139--168.
On ordering of the family of logics with Skolem-Löwenheim property and countable compactness property.Marek Wacławek - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 229--236.
Light affine lambda calculus and polynomial time strong normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

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

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.

View all 89 citations / Add more citations

References found in this work

No references found.

Add more references