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!

Fundamentals of Programming: Object Orientated Programming

Textbook Title: Fundamentals of Programming: Object Orientated Programming Textbook Description: This free etextbook online is intended for college students who…

Learn Ruby The Hard Way

Textbook Title: Learn Ruby The Hard Way Textbook Description: This free etextbook online requires the reader to have no prior…

A Beginners C++

Textbook Title: A Beginners C++ Textbook Description: A Beginners C++ is primarily intended for introductory Computer Science courses that use…

More Math Into LaTeX

Textbook Title: More Math Into LaTeX Textbook Description: This free etextbook online is the fourth edition of the standard introductory…

Linear Algebra

Textbook Title: Linear Algebra Textbook Description: This free etextbook online covers the material of a first undergraduate Linear Algebra course….

Statistical Physics 1

Textbook Title: Statistical Physics 1 Textbook Description: This free online textbook covers Thermodynamic systems and the zeroth law, Transformations and…

Calculus 1

Textbook Title: Calculus 1 Textbook Description: This free online textbook is focused on helping students learn to use calculus intelligently…

Statistics at Square One

Textbook Title: Statistics at Square One Textbook Description: This free etextbook online presents a number of new techniques in statistics,…