Logics of Time and Computation (Volume 7) (Lecture Notes)

Goldblatt, Robert

ISBN 10: 0937073946 / ISBN 13: 9780937073940

Verlag: Center for the Study of Language and Inf, 1992

Supports Goodwill of Silicon Valley job training programs. The cover and pages are in like new condition. Any other included accessories are also in excellent condition showing no wear. Bestandsnummer des Verkäufers GWSVV.0937073946.LN

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

Bibliografische Details

Titel: Logics of Time and Computation (Volume 7) (...
Verlag: Center for the Study of Language and Inf
Erscheinungsdatum: 1992
Einband: Softcover
Zustand: like_new