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!

More Math Into LaTeX

Textbook Title: More Math Into LaTeX Textbook Description: This free etextbook online is the fourth edition of the standard introductory…

The Architecture of Open Source Applications

Textbook Title: The Architecture of Open Source Applications Textbook Description: This free etextbook covers the authors of twenty-five open source…

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 Beginners C++

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

Accounting Cycle Exercises

Textbook Title: Accounting Cycle Exercises Textbook Description: This text is the fist of four in a series of exercises on…

Calculus-Based Physics

Textbook Title: Calculus-Based Physics Textbook Description: Calculus-Based Physics is an introductory physics textbook designed for use in the two-semester introductory…

Discrete Choice Methods with Simulation

Textbook Title: Discrete Choice Methods with Simulation Textbook Description: Discrete Choice Methods with Simulation is a free online textbook that…

Introduction to Economic Analysis

Textbook Title: Introduction to Economic Analysis Textbook Description: The Introduction to Economic Analysis textbook is a free, open sourced, creative-commons…