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!

Quantum Information Theory

Textbook Title: Quantum Information Theory Textbook Description: This free online etextbook covers the theory that physics and the theory of…

Learning Cocoa with Objective-C

Textbook Title: Learning Cocoa with Objective-C Textbook Description: This free online textbook covers the latest updates to the Cocoa frameworks,…

Computer Animation: Algorithms and Techniques

Textbook Title: Computer Animation: Algorithms and Techniques Textbook Description: This free online etextbook covers computational approaches for producing computer animation….

The Android Cookbook

Textbook Title: The Android Cookbook Textbook Description: This free etextbook online covers the workings and building of an Android App….

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,…

Mathematical Foundations of Elasticity

Textbook Title: Mathematical Foundations of Elasticity Textbook Description: This free online textbook treats parts of the mathematical foundations of three-dimensional…

Elementary Quantum Chemistry

Textbook Title: Elementary Quantum Chemistry Textbook Description: A Brief Review of Elementary Quantum Chemistry for advanced college level students. Large…

The Elements of Non-Euclidean Geometry

Textbook Title: The Elements of Non-Euclidean Geometry Textbook Description: This free etextbook online covers the development of non-euclidean geometry from…