Logics of Time and Computation
ISBN: 9780937073940
作者: Robert Goldblatt
出版社: Univ of Chicago Pr
出版年: 1992-6
页数: 190
定价: $ 33.90
装帧: Pap
内容简介
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.