product iamge

Logics of time and computation

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Author(s): Robert Goldblatt
Series: Center for the Study of Language and Information - CSLI Lecture Notes 7
Edition: 2nd
Publisher: CSLI Publications
Year: 1992

Language: English
Commentary: no cover
Pages: 196