Verwandte Artikel zu Logics of Time and Computation: Volume 7 (Lecture Notes)
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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
Reseña del editor
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, 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 , anduntil; 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, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCenter for the Study of Language and Inf
- Erscheinungsdatum1992
- ISBN 10 0937073946
- ISBN 13 9780937073940
- EinbandTapa blanda
- SpracheEnglisch
- Auflage2
- Anzahl der Seiten200
Neu kaufen
Diesen Artikel anzeigen
EUR 34,43
EUR 4,93 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Logics of Time and Computation: Volume 7 (Lecture Notes)
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 and Computation
Verlag:
Center for the Study of Language and Informat, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Gebraucht
Paperback
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.75. Artikel-Nr. G0937073946I3N00
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 4 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FW-9780937073940
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
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 4 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