Logics of Time and Computation
Goldblatt, Robert
ISBN 10: 0937073946 ISBN 13: 9780937073940
Verlag: Center for the Study of Language and Informat, 1992
Gebraucht
Paperback
Verkäufer
ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 24. März 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.75. Bestandsnummer des Verkäufers G0937073946I3N00
Inhaltsangabe:
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.
Críticas: "This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Logics of Time and Computation
Verlag: Center for the Study of Language and Informat
Erscheinungsdatum: 1992
Einband: Paperback
Zustand: Good
Zustand des Schutzumschlags: No Jacket
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag:
Center for the Study of Language and Inf (edition 1), 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Gebraucht
Paperback
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Artikel-Nr. 0937073946-11-1
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logics of Time & Computation 2e
Verlag:
Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Paperback
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Artikel-Nr. __0937073946
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logics of Time and Computation (Volume 7) (Lecture Notes)
Verlag:
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780937073940_new
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logics of Time and Computation
Verlag:
Centre for the Study of Language and Information, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
PAP
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FW-9780937073940
Anzahl: 1 verfügbar
Foto des Verkäufers
Logics of Time and Computation
Verlag:
Centre For The Study Of Language & Information Jun 1992, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Artikel-Nr. 9780937073940
Anzahl: 1 verfügbar
Foto des Verkäufers
LOGICS OF TIME & COMPUTATION R
Verlag:
UNIV OF CHICAGO PR, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. KlappentextrnrnNow revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositiona. Artikel-Nr. 867681882
Anzahl: 1 verfügbar