Temporal Logic: Volume 2 - Mathematical Foundations and Computational Aspects

Klappentext This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist. Zusammenfassung Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time. Inhaltsverzeichnis 1: Introduction and overview 2: Temporal logic and automata 3: Branching time 4: Labelled deduction presentation of temporal logics 5: Temporal logic programming 6: Combining temporal logic systems 7: Extensional semantics 8: Intervals and planning 9: Many-dimensional systems and generalized quantifiers 10: The declarative past and imperative future 11: The METATEM programming language 12: METATEM in intensive care 13: Nonmonotonic coding of the declarative past 14: A logical view of temporal databases 15: A logical view of temporal database dynamics 16: Temporal conceptual-level databases 17: Temporal active databases: a background for creating and detecting time paradoxes 18: Calendar logic

Dettagli sul prodotto

• Autori: M. Finger, Marcelo Finger, Dov M Gabbay, Dov M. Gabbay, Dov M. (King''s College London) Etc. Finge Gabbay, Dov M. (King's College London) Etc. Finger Gabbay, Dov M. (King''s College London) Reynolds Gabbay, Dov M. Reynolds Gabbay, M. Reynolds, Mark A Reynolds, Mark A. Reynolds
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 01.06.2000
• EAN: 9780198537687
• ISBN: 978-0-19-853768-7
• Pagine: 612
• Serie: Oxford Logic Guides; Oxford Logic Guides; Temporal Logic
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti; MATHEMATICS / Logic, COMPUTERS / Logic Design, COMPUTERS / Machine Theory, Mathematical theory of computation, Mathematical logic, Computer architecture & logic design, COMPUTERS / Computer Architecture, Computer architecture and logic design