Logics of time and computation (CSLI lecture notes)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780937073117: Logics of time and computation (CSLI lecture notes)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Review:

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Goldblatt, Robert
Editore: Center for the Study of Language and Information
ISBN 10: 0937073113 ISBN 13: 9780937073117
Usato Rilegato Quantità: 1
Da
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Information. Hardcover. Condizione libro: Very Good. 0937073113 Crisp, clean, unread book with light to moderate shelfwear to the covers and a publisher's mark to one edge - Nice!. Codice libro della libreria Z0937073113Z2

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 954,35
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi