Articoli correlati a Logics of Time and Computation

Logics of Time and Computation - Rilegato

 
9780937073933: Logics of Time and Computation
Vedi tutte le copie di questo ISBN:
 
 
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.

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Se non trovi il libro che cerchi su AbeBooks possiamo cercarlo per te automaticamente ad ogni aggiornamento del nostro sito. Se il libro è ancora reperibile da qualche parte, lo troveremo!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9780937073940: Logics of Time and Computation

Edizione in evidenza

ISBN 10:  ISBN 13:  9780937073940
Casa editrice: Center for the Study of Language..., 1992
Brossura

  • 9780937073117: Title: Logics of time and computation CSLI lecture notes

    Rilegato

  • 9780937073124: Logics of time and computation (CSLI lecture notes)

    Brossura

  • 9780226300948: Logics of Time and Computation

    Univer..., 1987
    Brossura

  • 9780226300931: Logics of Time and Computation

    Univ o..., 1987
    Rilegato

I migliori risultati di ricerca su AbeBooks