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!

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…

Learn Ruby The Hard Way

Textbook Title: Learn Ruby The Hard Way Textbook Description: This free etextbook online requires the reader to have no prior…

The Elements of Computing Systems

Textbook Title: The Elements of Computing Systems Textbook Description: This free etextbook online exposes college students to a significant body…

A Short Introduction to Operating Systems

Textbook Title: A Short Introduction to Operating Systems Textbook Description: This free etextbook covers most of the basic topics of…

Student’s Guide to Calculus Volume 2

Textbook Title: Student’s Guide to Calculus Volume 2 Textbook Description: This free online textbook is Volume 2 in a 3…

Calculus 2

Textbook Title: Calculus 2 Textbook Description: This free online textbook is focused on helping students learn to use calculus intelligently…

Algebraic Geometry

Textbook Title: Algebraic Geometry Textbook Description: This free online textbook is for a graduate level course in Algebraic Geometry. The…

Quantum Microeconomics

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