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!

A Balanced Introduction to Computer Science

Textbook Title: A Balanced Introduction to Computer Science Textbook Description: This free online textbook covers concepts and issues in computing…

Learning Cocoa with Objective-C

Textbook Title: Learning Cocoa with Objective-C Textbook Description: This free online textbook covers the latest updates to the Cocoa frameworks,…

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…

Computer Animation: Algorithms and Techniques

Textbook Title: Computer Animation: Algorithms and Techniques Textbook Description: This free online etextbook covers computational approaches for producing computer animation….

Quantum Microeconomics with Calculus

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

A Modern Formal Logic Primer

Textbook Title: A Modern Formal Logic Primer Textbook Description: This free etextbook online covers the topics of Transcription between English…

Introduction to Economic Analysis

Textbook Title: Introduction to Economic Analysis Textbook Description: The Introduction to Economic Analysis textbook is a free, open sourced, creative-commons…

Elementary Quantum Chemistry

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