Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Logics of Time and Computation

305 kr
Lägsta pris på PriceRunner

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.

Författare
Robert Goldblatt
ISBN
9780937073940
Språk
engelska
Vikt
339 gram
Utgivningsdatum
1992-06-30
Sidor
190