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!

Programming Languages: Application and Interpretation

Textbook Title: Programming Languages: Application and Interpretation Textbook Description: This free online textbook argues that we should abandon this method…

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…

Agile Software Development in Theory and Practice

Textbook Title: Agile Software Development in Theory and Practice Textbook Description: This free online etextbook demonstrates the Agile Manifesto which…

Introduction to Computer Science Using Java

Textbook Title: Introduction to Computer Science Using Java Textbook Description: This textbook covers most of a beginning course in computer…

Introduction to Probability

Textbook Title: Introduction to Probability Textbook Description: This free introductory probability textbook is published by the American Mathematical Society. The…

Elements of Abstract and Linear Algebra

Textbook Title: Elements of Abstract and Linear Algebra Textbook Description: This is a foundational free online textbook on abstract algebra…

Numerical Analysis for Engineering

Textbook Title: Numerical Analysis for Engineering Textbook Description: This free etextbook online covers the following topics: Error Analysis, Numeric Representation,…

Calculus, Applications and Theory

Textbook Title: Calculus, Applications and Theory Textbook Description: This textbook gives complete proofs of all theorems in one variable calculus…