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!

Algorithmic Number Theory

Textbook Title: Algorithmic Number Theory Textbook Description: This free online textbook provides a comprehensive introduction to algorithmic number theory for…

Search Algorithms and Applications

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

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…

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,…

Calculus, Applications and Theory

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

Quantum Microeconomics with Calculus

Textbook Title: Quantum Microeconomics with Calculus Textbook Description: Quantum Microeconomics with Calculus is a free online textbook that provides a…

Fundamentals of Matrix Algebra

Textbook Title: Fundamentals of Matrix Algebra Textbook Description: This free online textbook provides the student with a solid foundation of…

Computational Economics

Textbook Title: Computational Economics Textbook Description: A free online textbook (etextbook) providing an overview of computational economics. This textbook is…