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!

The Android Cookbook

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

Lessons In Electric Circuits

Textbook Title: Lessons In Electric Circuits Textbook Description: This free etextbook, Lessons in Electric Circuits, provides high-quality information of industrial…

A Beginners C++

Textbook Title: A Beginners C++ Textbook Description: A Beginners C++ is primarily intended for introductory Computer Science courses that use…

Data Structures and Algorithm Analysis in C++

Textbook Title: Data Structures and Algorithm Analysis in C++ Textbook Description: This free textbook available for download provides the reader…

College Algebra 5E

Textbook Title: College Algebra 5E Textbook Description: Learn to think mathematically and develop genuine problem-solving skills with Stewart, Redlin, and…

Elementary Trigonometry

Textbook Title: Elementary Trigonometry Textbook Description: This is a text on elementary trigonometry, designed for students who have completed courses…

Analysis on Homogeneous Spaces

Textbook Title: Analysis on Homogeneous Spaces Textbook Description: The main goal of this free online etextbook is to give a…

Computational Economics

Textbook Title: Computational Economics Textbook Description: A free online textbook (etextbook) providing an overview of computational economics. This textbook is…