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!

iPhone iOS 4 App Development Essentials

Textbook Title: iPhone iOS 4 App Development Essentials Textbook Description: Beginning with the basics, this book provides an overview of…

Python For Informatics: Exploring Information

Textbook Title: Python for Informatics: Exploring Information Textbook Description: The first 10 chapters are similar to the Think Python book…

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…

Foundations of Computer Science

Textbook Title: Foundations of Computer Science Textbook Description: This free online etextbook introduces students to the formal study of computation….

Elementary Analytic Functions: Complex Functions Theory a-1

Textbook Title: Elementary Analytic Functions: Complex Functions Theory a-1 Textbook Description: This is an introductory textbook on complex functions theory….

Quantum Microeconomics

Textbook Title: Quantum Microeconomics Textbook Description: Quantum Microeconomics is a free online textbook that provides a introductory/intermediate look at Quantum…

Algorithmic Number Theory

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

Theoretic Arithmetic

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