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.
發表於2024-11-28
Logics of Time and Computation 2024 pdf epub mobi 電子書 下載
圖書標籤:
Logics of Time and Computation 2024 pdf epub mobi 電子書 下載