Artículos relacionados a Logics of Time and Computation: Volume 7 (Lecture Notes)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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
Reseña del editor
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCenter for the Study of Language and Inf
- Año de publicación1992
- ISBN 10 0937073946
- ISBN 13 9780937073940
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de edición2
- Número de páginas200
Comprar nuevo
Ver este artículo
EUR 22,43
EUR 4,89 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Logics of Time and Computation: Volume 7 (Lecture Notes)
Imagen de archivo
Logics of Time and Computation (Volume 7) (Lecture Notes)
Publicado por
Center for the Study of Language and Inf (edition 1), 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Antiguo o usado
Paperback
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 0937073946-11-1
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time and Computation
Publicado por
Center for the Study of Language and Informat, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Antiguo o usado
Paperback
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.75. Nº de ref. del artículo: G0937073946I3N00
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logics of Time and Computation (Volume 7) (Lecture Notes)
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Antiguo o usado
Tapa blanda
Librería: Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: like_new. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in like new condition. Any other included accessories are also in excellent condition showing no wear. Nº de ref. del artículo: GWSVV.0937073946.LN
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time and Computation (Lecture Notes)
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Trade Paperback
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Trade Paperback. Condición: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine. Nº de ref. del artículo: 087841
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logics of Time and Computation
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 1549260
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time and Computation
Publicado por
Centre for the Study of Language and Information, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
PAP
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9780937073940
Gastos de envío:
EUR 4,92
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logics of Time and Computation
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1549260-n
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time & Computation 2e
Publicado por
Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Nº de ref. del artículo: __0937073946
Gastos de envío:
EUR 11,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time and Computation
Publicado por
Centre for the Study of Language & Information, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 369. Nº de ref. del artículo: B9780937073940
Gastos de envío:
EUR 12,34
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logics of Time and Computation
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1549260-n
Gastos de envío:
EUR 17,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles