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. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . .

N� de ref. del art�culo V9780937073940

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logics of Time and Computation
Editor: The Center for the Study of Language and Information Publications
Fecha de publicaci�n: 1992
Idioma: Ingl�s
ISBN 10: 0937073946
ISBN 13: 9780937073940
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: New

Acerca de

Sinopsis

Cr�ticas

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Ver la p�gina web de la librer�a