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!

Computer Graphics

Textbook Title: Computer Graphics Textbook Description: Computer graphics is a growing industry used in a number of different fields for…

Squeak: Learn Programming with Robots

Textbook Title: Squeak: Learn Programming with Robots Textbook Description: This free online etextbook covers the core programming concepts based on…

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…

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…

Single Variable Calculus

Textbook Title: Single Variable Calculus Textbook Description: Single Variable Calculus is a free college calculus textbook by David Guichard. The…

Statistics at Square One

Textbook Title: Statistics at Square One Textbook Description: This free etextbook online presents a number of new techniques in statistics,…

Elementary Analytic Functions: Complex Functions Theory a-1

Textbook Title: Elementary Analytic Functions: Complex Functions Theory a-1 Textbook Description: This is an introductory textbook on complex functions theory….

Quantum Microeconomics

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