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!

Squeak: Learn Programming with Robots

Textbook Title: Squeak: Learn Programming with Robots Textbook Description: This free online etextbook covers the core programming concepts based on…

More Math Into LaTeX

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

The Android Cookbook

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

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…

Economics and Language

Textbook Title: Economics and Language Textbook Description: This free online textbook is comprised of a collection of five essays examining…

Calculus, Applications and Theory

Textbook Title: Calculus, Applications and Theory Textbook Description: This textbook gives complete proofs of all theorems in one variable calculus…

Calculus Revisited

Textbook Title: Calculus Revisited: Complex Variables, Differential Equations, and Linear Algebra Textbook Description: Calculus Revisited provides a text covering introductory…

Theoretic Arithmetic

Textbook Title: Theoretic Arithmetic Textbook Description: This free online textbook, Theoretic Arithmetic, containins the substance of all that has been…