Acm Transactions On Computational Logic
Download Acm Transactions On Computational Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Acm Transactions On Computational Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Logics of Time and Computation
Author: Robert Goldblatt
language: en
Publisher: Center for the Study of Language and Information Publications
Release Date: 1992-06-01
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.