Logics of Time and Computation Export

@book{citeulike:566506, abstract = {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 = {Goldblatt, Robert}, citeulike-article-id = {566506}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0937073946}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/0937073946}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/0937073946}, citeulike-linkout-3 = {http://www.amazon.co.uk/exec/obidos/ASIN/0937073946/citeulike00-21}, citeulike-linkout-4 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0937073946}, citeulike-linkout-5 = {http://www.worldcat.org/isbn/0937073946}, citeulike-linkout-6 = {http://books.google.com/books?vid=ISBN0937073946}, citeulike-linkout-7 = {http://www.amazon.com/gp/search?keywords=0937073946&index=books&linkCode=qs}, citeulike-linkout-8 = {http://www.librarything.com/isbn/0937073946}, day = {01}, howpublished = {Paperback}, isbn = {0937073946}, keywords = {book, modal\_logic}, month = {September}, posted-at = {2006-03-28 05:06:31}, priority = {0}, publisher = {Center for the Study of Language and Information}, series = {Center for the Study of Language and Information - Lecture Notes}, title = {Logics of Time and Computation}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0937073946}, year = {1992} }

TY - BOOK ID - citeulike:566506 L3 - citeulike-article-id:566506 N2 - 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. SE - Center for the Study of Language and Information - Lecture Notes SN - 0937073946 TI - Logics of Time and Computation PB - Center for the Study of Language and Information KW - book KW - modal_logic AU - Goldblatt, Robert PY - 1992/09/01/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0937073946 ER -