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!

Introduction to Methods of Applied Mathematics

Textbook Title: Introduction to Methods of Applied Mathematics Textbook Description: The Introduction to Methods of Applied Mathematics textbook contains material…

The Elements of Computing Systems

Textbook Title: The Elements of Computing Systems Textbook Description: This free etextbook online exposes college students to a significant body…

More Math Into LaTeX

Textbook Title: More Math Into LaTeX Textbook Description: This free etextbook online is the fourth edition of the standard introductory…

iPhone iOS 5 Development Essentials

Textbook Title: iPhone iOS 5 Development Essentials Textbook Description: This free etextbook provides an overview iPhone iOS 5 Development Essentials,…

Algebraic Geometry

Textbook Title: Algebraic Geometry Textbook Description: This free online textbook is for a graduate level course in Algebraic Geometry. The…

Essential Engineering Mathematics

Textbook Title: Essential Engineering Mathematics Textbook Description: This free online textbook aims to highlight and explain some areas commonly found…

Statistics at Square One

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

A Problem Course in Mathematical Logic

Textbook Title: A Problem Course in Mathematical Logic Textbook Description: A Problem Course in Mathematical Logic is intended to serve…