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!

Computer Graphics

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

RESTful PHP Web Services

Textbook Title: RESTful PHP Web Services Textbook Description: This free online etextbook provides a comprehensive look at the basic architectural…

iPhone iOS 5 Development Essentials

Textbook Title: iPhone iOS 5 Development Essentials Textbook Description: This free etextbook provides an overview iPhone iOS 5 Development Essentials,…

A Balanced Introduction to Computer Science

Textbook Title: A Balanced Introduction to Computer Science Textbook Description: This free online textbook covers concepts and issues in computing…

Galois Groups and Fundamental Groups

Textbook Title: Galois Groups and Fundamental Groups Textbook Description: This free online textbook presents the connection starting at an elementary…

Basic Analysis: Introduction to Real Analysis

Textbook Title: Basic Analysis: Introduction to Real Analysis Textbook Description: This free online textbook covers basic analysis. The text aids…

Linear Algebra

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

Mathematical Methods for Physical Sciences II

Textbook Title: Mathematical Methods for Physical Sciences II Textbook Description: This free online textbook covers an Introduction to boundary value…