Logics of Time and Computation

Valutazione media 0
( su 0 valutazioni fornite da GoodReads )
 
9780937073940: Logics of Time and Computation

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.

Contenuti:

Preface to the first edition; Preface to the second edition; Part I. Propositional Modal Logic: 1. Syntax and semantics; 2. Proof theory; 3. Canonical models and completeness; 4. Filtrations and decidability; 5. Multimodal languages; 6. Temporal logic; 7. Some topics in metatheory; Part II. Some Temporal and Computational Logic: 8. Logics with linear frames; 9. Temporal logic of concurrency; 10. Propositional dynamic logic; Part III. First-Order Dynamic Logic: 11. Assignments, substitutions, and quantifiers; 12. Syntax and semantics; 13. Proof theory; 14. Canonical model and completeness; Bibliography; Index.

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

I migliori risultati di ricerca su AbeBooks

1.

Robert Goldblatt
Editore: University of Chicago press
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro University of Chicago press. Condizione libro: New. Brand New. Codice libro della libreria 0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,24
In U.S.A.
Destinazione, tempi e costi

2.

Goldblatt, Robert
Editore: Center for the Study of Language and Inf (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Inf, 1992. Paperback. Condizione libro: New. book. Codice libro della libreria 0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 44,88
Convertire valuta

Aggiungere al carrello

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

3.

Robert Goldblatt
Editore: Center for the Study of Language and Inf (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Inf, 1992. Paperback. Condizione libro: New. 1. Codice libro della libreria DADAX0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 45,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi

4.

Goldblatt, Robert
Editore: Stanford Univ Center for the Study (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Stanford Univ Center for the Study, 1992. Paperback. Condizione libro: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Codice libro della libreria 0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 55,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,94
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Robert Goldblatt
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Quantità: 1
Da
Castle Rock
(Pittsford, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Book Condition: Brand New. Codice libro della libreria 97809370739401.0

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 92,77
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
In U.S.A.
Destinazione, tempi e costi