Chargement en cours…
Dynamic logic /
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be descri...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Cambridge, Mass. :
MIT Press,
2000.
|
| Collection: | Foundations of computing.
|
| Sujets: | |
| Accès en ligne: | Texto completo |