Logics of Time and Computation
Overview & Synopsis
This is a short but excellent introduction to modal, temporal, and dynamic logic, etc. 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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Logics of Time and Computation |
|---|---|
| Author / Organization | Robert Goldblatt |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Discrete and Finite Mathematics, Artificial Intelligence, Machine Learning, and Logic Programming, Theory of Computation Books, Computational and Algorithmic Mathematics Books |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| Publication Year | 1992 |
| ISBN | 0937073946 |
| Resource Verification | Verification pending |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-74688 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Logics of Time and Computation • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.