Artículos relacionados a Logics of Time and Computation: 7 (Center for the Study...
Logics of Time and Computation: 7 (Center for the Study of Language and Information Publication Lecture Notes) - Tapa dura
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
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialThe Center for the Study of Language and Information Publications
- Año de publicación1992
- ISBN 10 0937073938
- ISBN 13 9780937073933
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de edición2
- Número de páginas180
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en AbeBooks, le avisaremos.
Crear una petición
