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!

Getting Started with Cloud Computing

Textbook Title: Getting Started with Cloud Computing Textbook Description: This free online etextbook introduces students to cloud computing with Red…

Introduction to Computer Security: The NIST Handbook

Textbook Title: Introduction to Computer Security: The NIST Handbook Textbook Description: This free online etextbook provides assistance in securing computer-based…

Lessons In Electric Circuits

Textbook Title: Lessons In Electric Circuits Textbook Description: This free etextbook, Lessons in Electric Circuits, provides high-quality information of industrial…

Introduction to Software Development

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

Econometrics by Michael Creel

Textbook Title: Econometrics by Michael Creel Textbook Description: Econometrics by Michael Creel is a free online textbook that covers an…

Introduction to Differential Topology

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

Student’s Guide to Calculus Volume 2

Textbook Title: Student’s Guide to Calculus Volume 2 Textbook Description: This free online textbook is Volume 2 in a 3…

Introduction to Microlocal Analysis

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