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!

Advances in Genetic Programming Vol. 3

Textbook Title: Advances in Genetic Programming Vol. 3 Textbook Description: This free etextbook covers the topic of genetic programming, a…

A Beginners C++

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

Foundations of Software Engineering

Textbook Title: Foundations of Software Engineering Textbook Description: This free etextbook online is a suitable foundation text for the subject…

Computer Graphics

Textbook Title: Computer Graphics Textbook Description: Computer graphics is a growing industry used in a number of different fields for…

Vector Calculus

Textbook Title: Vector Calculus Textbook Description: This is a textbook on elementary multivariable calculus, designed for students who have completed…

Mathematical Introduction to Robotic Manipulation

Textbook Title: Mathematical Introduction to Robotic Manipulation Textbook Description: This free etextbook covers a mathematical formulation of the kinematics, dynamics,…

Fundamentals of Matrix Algebra

Textbook Title: Fundamentals of Matrix Algebra Textbook Description: This free online textbook provides the student with a solid foundation of…

Econometrics by Michael Creel

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