Logics of Time and Computation - Couverture souple

Goldblatt, Robert

 
9780937073940: Logics of Time and Computation
Couverture souple
ISBN 10 : 0937073946 ISBN 13 : 9780937073940
Editeur : Center for the Study of Language and Inf, 1992

Synopsis

"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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

"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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Center for the Study of Language and Inf
Date d'édition
1992
Langue
anglais
ISBN 10 
0937073946
ISBN 13 
9780937073940
Reliure
Broché
Nombre de pages
200
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780937073933: Logics of Time and Computation

Edition présentée

ISBN 10 :  0937073938 ISBN 13 :  9780937073933
Editeur : Center for the Study of Language..., 1992
Couverture rigide