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!

RESTful PHP Web Services

Textbook Title: RESTful PHP Web Services Textbook Description: This free online etextbook provides a comprehensive look at the basic architectural…

Introduction to Software Development

Textbook Title: Introduction to Software Development Textbook Description: This course book is designed for IT specialists and developers that are…

Computer Networks: Performance And Quality Of Service

Textbook Title: Computer Networks: Performance and Quality of Service Textbook Description: This textbook reviews modern computer networks with a particular…

Mathematical Introduction to Robotic Manipulation

Textbook Title: Mathematical Introduction to Robotic Manipulation Textbook Description: This free etextbook covers a mathematical formulation of the kinematics, dynamics,…

Algebraic Methods

Textbook Title: Algebraic Methods Textbook Description: This free online textbook covers the following topics: Group Theory (Groups and subgroups, The…

Introduction to Differential Topology

Textbook Title: Introduction to Differential Topology Textbook Description: This free online textbook is a preliminary version of introductory lecture notes…

Introduction to Microlocal Analysis

Textbook Title: Introduction to Microlocal Analysis Textbook Description: This free etextbook online covers the origins of scattering theory and the…

Statistics for Health, Life and Social Sciences

Textbook Title: Statistics for Health, Life and Social Sciences Textbook Description: This is a practical free etextbook, aimed at college…