توضیحات
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.
جزئیات کتاب
فرمت
جلد سخت
زبان
انگلیسی
منتشر شده
مه 1, 1987
ناشر
Univ of Chicago Pr
نسخهها
2 نسخه
ISBN-10
0226300935
ISBN-13
9780226300931