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!

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…

The Architecture of Open Source Applications

Textbook Title: The Architecture of Open Source Applications Textbook Description: This free etextbook covers the authors of twenty-five open source…

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…

Computer Networks: Performance And Quality Of Service

Textbook Title: Computer Networks: Performance and Quality of Service Textbook Description: This textbook reviews modern computer networks with a particular…

Statistical Physics 1

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

Single Variable Calculus

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

Calculus 1

Textbook Title: Calculus 1 Textbook Description: This free online textbook is focused on helping students learn to use calculus intelligently…

Numerical Methods and Modeling for Chemical Engineers

Textbook Title: Numerical Methods and Modeling for Chemical Engineers Textbook Description: This free online textbook provides an introduction to the…