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!

A Beginners C++

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

The Android Cookbook

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

Essentials of Geographic Information Systems

Textbook Title: Essentials of Geographic Information Systems Textbook Description: This free etextbook integrates the key concepts behind the GIS technology…

Text Algorithms

Textbook Title: Text Algorithms Textbook Description: A textbook for courses on algorithm design, especially those related to text processing, and…

Applications of Global Analysis in Mathematical Physics

Textbook Title: Applications of Global Analysis in Mathematical Physics Textbook Description: This free online textbook is intended to introduce some…

Calculus Unlimited

Textbook Title: Calculus Unlimited Textbook Description: This free online textbook is intended to supplement virtually any other calculus text. As…

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…

Reasonable Basic Algebra

Textbook Title: Reasonable Basic Algebra Textbook Description: Reasonable Basic Algebra (RBA) is a standalone version of part of From Arithmetic…