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 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…

Algorithmic Number Theory

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

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…

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…

Precalculus: An Investigation of Functions

Textbook Title: Precalculus: An Investigation of Functions Textbook Description: This free etextbook online covers a two-quarter precalculus sequence including trigonometry….

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…

Topics in Geometry

Textbook Title: Topics in Geometry Textbook Description: This free textbook online provides an introduction to Foundations, The linear groups, Examples…

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…