Logics of Time and Computation

CSLI Publications (1992)
  Copy   BIBTEX

Abstract

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

0937073946   9780937073933   0937073113   9780937073940
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
Branching-time logics repeatedly referring to states.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Computable quantifiers and logics over finite structures.J. Makowsky & Y. Pnueli - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 313--357.
Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.
From logic to physics: How the meaning of computation changed over time.Itamar Pitowsky - unknown
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Computation, among other things, is beneath us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.
Quantifiers: Logics, Models and Computation: Volume Two: Contributions.Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.) - 1995 - Dordrecht, Netherland: Kluwer Academic Publishers.
Parallel machines.Andrew Boucher - 1997 - Minds and Machines 7 (4):543-551.
Explaining computation without semantics: Keeping it simple.Nir Fresco - 2010 - Minds and Machines 20 (2):165-181.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
A quantum computer only needs one universe.A. M. Steane - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):469-478.

Analytics

Added to PP
2011-03-20

Downloads
21 (#740,450)

6 months
12 (#218,039)

Historical graph of downloads
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 77 citations / Add more citations

References found in this work

No references found.

Add more references