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!

Image Fusion and Its Applications

Textbook Title: Image Fusion and Its Applications Textbook Description: This free etextbook provides an overview of basic image fusion techniques…

Computer Animation: Algorithms and Techniques

Textbook Title: Computer Animation: Algorithms and Techniques Textbook Description: This free online etextbook covers computational approaches for producing computer animation….

Introduction to Software Development

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

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…

Applied Mathematical Programming Using Algebraic Systems

Textbook Title: Applied Mathematical Programming Using Algebraic Systems Textbook Description: This free online textbook is suitable for a course on…

Calculus 3

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

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…