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!

The PHP Cookbook

Textbook Title: The PHP Cookbook Textbook Description: This free etextbook online provides a collection of problems, solutions, and practical examples…

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…

Search Algorithms and Applications

Textbook Title: Search Algorithms and Applications Textbook Description: This free online etextbook demonstrates the wide applicability of search algorithms for…

Foundations of Computer Science

Textbook Title: Foundations of Computer Science Textbook Description: This free online etextbook introduces students to the formal study of computation….

Introduction to Microlocal Analysis

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

Calculus 2

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

Advanced Calculus, Revised Edition

Textbook Title: Advanced Calculus, Revised Edition Textbook Description: This textbook is based on an honors course in Advanced Calculus given…

Elementary Quantum Chemistry

Textbook Title: Elementary Quantum Chemistry Textbook Description: A Brief Review of Elementary Quantum Chemistry for advanced college level students. Large…