Advances in Temporal Logic, Fachbücher von Michael Fisher, Dov M. Gabbay, Graham Gough, Howard Barringer

"Advances in Temporal Logic" ist ein umfassendes Fachbuch, das sich mit der Entwicklung und Anwendung der temporalen Logik in verschiedenen Disziplinen beschäftigt. Es bietet eine detaillierte Analyse der Grundlagen und der Fortschritte in diesem faszinierenden Bereich, der sowohl in der Informatik als auch in der künstlichen Intelligenz von grosser Bedeutung ist. Das Buch reflektiert über drei Jahrzehnte Forschung und Entwicklung, beginnend mit den grundlegenden Arbeiten von Prior und Pnueli, und beleuchtet die vielfältigen Anwendungen der temporalen Logik in der Spezifikation und Verifikation von Computersystemen. Die Autoren, Michael Fisher, Dov M. Gabbay und Graham Gough, bringen ihre Expertise ein, um die Leser durch komplexe Themen wie temporale Systeme, Beweis- und Modelltheorie sowie die Anwendung von Spieltheorie zu führen. Darüber hinaus werden auch die Herausforderungen und Möglichkeiten in der temporalen Datenbanktheorie und der Modellierung temporaler Phänomene in der künstlichen Intelligenz behandelt. Dieses Buch ist eine wertvolle Ressource für Forscher, Studierende und Fachleute, die sich mit den theoretischen und praktischen Aspekten der temporalen Logik auseinandersetzen möchten.