Logics of Time and Computation
Robert Goldblatt
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.
درجه (قاطیغوری(:
کال:
1992
خپرونه:
2nd
خپرندویه اداره:
CSLI Publications
ژبه:
english
صفحه:
200
ISBN 10:
0937073946
ISBN 13:
9780937073940
لړ (سلسله):
Center for the Study of Language and Information - CSLI Lecture Notes 7
فایل:
PDF, 5.61 MB
IPFS:
,
english, 1992