Skip to main content
PBS logo
 
 

Search - Logics of Time and Computation

Logics of Time and Computation
Logics of Time and Computation
Author: 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.
ISBN-13: 9780226300948
ISBN-10: 0226300943
Pages: 142
Rating:
  ?
0 stars, based on 0 rating
Publisher: University of Chicago Press
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.