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!

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…

Computer Graphics

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

Cyber Infrastructure Protection

Textbook Title: Cyber Infrastructure Protection Textbook Description: This free online etextbook covers an integrated view and a comprehensive framework of…

A Gentle Introduction to the Art of Mathematics

Textbook Title: A Gentle Introduction to the Art of Mathematics Textbook Description: A Gentle Introduction to the Art of Mathematics…

More Math Into LaTeX

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

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 Probability

Textbook Title: Fundamentals of Probability Textbook Description: Fundamentals of Probability is a free online textbook suitable for first or second…

Principles of Applied Mathematics

Textbook Title: Principles of Applied Mathematics Textbook Description: This free online textbook, Principles of Applied Mathematics, is a study of…