Logics of Time and Computation

Textbook Title: Logics of Time and Computation

Textbook Description:
This free etextbook outlines the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Author: Robert Goldblatt
Subjects: Mathematics, Computer Science
Key words: Mathematics, Computer Science, Logic
Download URL: http://sul-derivatives.stanford.edu/derivative?CSNID=00003782&mediaType=application/pdf

Only Registered Users Can Save eTextbooks to Their TextBookGo Account. Sign Up For Free!

Lessons In Electric Circuits

Textbook Title: Lessons In Electric Circuits Textbook Description: This free etextbook, Lessons in Electric Circuits, provides high-quality information of industrial…

The Architecture of Open Source Applications

Textbook Title: The Architecture of Open Source Applications Textbook Description: This free etextbook covers the authors of twenty-five open source…

Programming Languages: Application and Interpretation

Textbook Title: Programming Languages: Application and Interpretation Textbook Description: This free online textbook argues that we should abandon this method…

Essentials of Geographic Information Systems

Textbook Title: Essentials of Geographic Information Systems Textbook Description: This free etextbook integrates the key concepts behind the GIS technology…

Accounting Cycle Exercises

Textbook Title: Accounting Cycle Exercises Textbook Description: This text is the fist of four in a series of exercises on…

Econometrics by Michael Creel

Textbook Title: Econometrics by Michael Creel Textbook Description: Econometrics by Michael Creel is a free online textbook that covers an…

A Modern Formal Logic Primer

Textbook Title: A Modern Formal Logic Primer Textbook Description: This free etextbook online covers the topics of Transcription between English…

Statistics for Health, Life and Social Sciences

Textbook Title: Statistics for Health, Life and Social Sciences Textbook Description: This is a practical free etextbook, aimed at college…