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!

Fundamentals of Programming: Object Orientated Programming

Textbook Title: Fundamentals of Programming: Object Orientated Programming Textbook Description: This free etextbook online is intended for college students who…

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

Foundations of Computer Science

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

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…

College Algebra 5E

Textbook Title: College Algebra 5E Textbook Description: Learn to think mathematically and develop genuine problem-solving skills with Stewart, Redlin, and…

Single Variable Calculus

Textbook Title: Single Variable Calculus Textbook Description: Single Variable Calculus is a free college calculus textbook by David Guichard. The…

Statistical Physics 1

Textbook Title: Statistical Physics 1 Textbook Description: This free online textbook covers Thermodynamic systems and the zeroth law, Transformations and…

Calculus in Context

Textbook Title: Calculus in Context Textbook Description: Calculus in Context from the Five College Calculus Project, offers an introductory calculus…