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!

RESTful PHP Web Services

Textbook Title: RESTful PHP Web Services Textbook Description: This free online etextbook provides a comprehensive look at the basic architectural…

Lessons In Electric Circuits

Textbook Title: Lessons In Electric Circuits Textbook Description: This free etextbook, Lessons in Electric Circuits, provides high-quality information of industrial…

A Short Introduction to Operating Systems

Textbook Title: A Short Introduction to Operating Systems Textbook Description: This free etextbook covers most of the basic topics of…

An Introduction to ATM Networks

Textbook Title: An Introduction to ATM Networks Textbook Description: This free etextbook provides and introduction into Asynchronous Transfer Mode (ATM),…

Foundations of Mechanics, Second Edition

Textbook Title: Foundations of Mechanics, Second Edition Textbook Description: This free online textbook is for those students interested in geometrical…

Algebra: Abstract And Concrete

Textbook Title: Algebra: Abstract And Concrete Textbook Description: This textbook provides a thorough introduction to “modern” or “abstract” algebra at…

Principles of Applied Mathematics

Textbook Title: Principles of Applied Mathematics Textbook Description: This free online textbook, Principles of Applied Mathematics, is a study of…

Calculus, Applications and Theory

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