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!

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…

Algorithmic Number Theory

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

An Introduction to ATM Networks

Textbook Title: An Introduction to ATM Networks Textbook Description: This free etextbook provides and introduction into Asynchronous Transfer Mode (ATM),…

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

Applied Conformal Field Theory

Textbook Title: Applied Conformal Field Theory Textbook Description: This free online textbook presents the elementary introduction to conformal field theory,…

Topics in Geometry

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

Elementary Quantum Chemistry

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

Fundamentals of Matrix Algebra

Textbook Title: Fundamentals of Matrix Algebra Textbook Description: This free online textbook provides the student with a solid foundation of…