Logics of Time and Computation

Robert Goldblatt

ISBN 10: 0937073946 / ISBN 13: 9780937073940

Verlag: The Center for the Study of Language and Information Publications, 1992

Beschreibung

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. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . . Books ship from the US and Ireland.

Bestandsnummer des Verkäufers V9780937073940

Bibliografische Details

• Titel: Logics of Time and Computation
• Verlag: The Center for the Study of Language and Information Publications
• Veröffentlichungsdatum: 1992
• Sprache: Englisch
• ISBN-10: 0937073946
• ISBN-13: 9780937073940
• Bindung: Softcover
• Zustand: New

Über diesen Titel

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