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!

Python For Informatics: Exploring Information

Textbook Title: Python for Informatics: Exploring Information Textbook Description: The first 10 chapters are similar to the Think Python book…

Introduction to Programming Using Java, Fifth Edition

Textbook Title: Introduction to Programming Using Java, Fifth Edition Textbook Description: The fifth edition of Introduction to Programming Using Java,…

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…

The Book Of Ruby

Textbook Title: The Book Of Ruby Textbook Description: The Book Of Ruby concentrates principally on version 1.8.x of the Ruby…

Galois Groups and Fundamental Groups

Textbook Title: Galois Groups and Fundamental Groups Textbook Description: This free online textbook presents the connection starting at an elementary…

Essential Engineering Mathematics

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

Basic Analysis: Introduction to Real Analysis

Textbook Title: Basic Analysis: Introduction to Real Analysis Textbook Description: This free online textbook covers basic analysis. The text aids…

Statistical Method in Economics

Textbook Title: Statistical Method in Economics Textbook Description: The free online textbook introduces statistical theory to prepare students for the…