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!

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…

Computer Graphics

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

Agile Software Development in Theory and Practice

Textbook Title: Agile Software Development in Theory and Practice Textbook Description: This free online etextbook demonstrates the Agile Manifesto which…

Data Structures and Algorithm Analysis in C++

Textbook Title: Data Structures and Algorithm Analysis in C++ Textbook Description: This free textbook available for download provides the reader…

Student’s Guide to Calculus Volume 1

Textbook Title: Student’s Guide to Calculus Volume 1 Textbook Description: This free online textbook is Volume 1 in a 3…

Topics in Geometry

Textbook Title: Topics in Geometry Textbook Description: This free textbook online provides an introduction to Foundations, The linear groups, Examples…

Linear Algebra

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

Algorithmic Number Theory

Textbook Title: Algorithmic Number Theory Textbook Description: This free online textbook provides a comprehensive introduction to algorithmic number theory for…