0 Mėgstami
0Krepšelis
Šiuo metu neparduodama

Knygos aprašymas

Product Description


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.


Review


"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


Book Description


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.

Informacija

Autorius: Robert Goldblatt
Leidėjas: Center for the Study of Language and Inf
Išleidimo metai: 1992
Knygos puslapių skaičius: 180
ISBN-13: 9780937073933
Formatas: 159 x 19 x 241 mm. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Logics of Time and Computation“

Būtina įvertinti prekę

Goodreads reviews for „Logics of Time and Computation“