Tiuryn, Jerzy Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)

'Dynamic Logic' von Jerzy Tiuryn ist ein Buch aus der Foundations of Computing Series, das sich mit der formalen Logik und ihrer Anwendung auf die Informatik beschäftigt. Es bietet eine umfassende Einführung in die dynamische Logik, eine Erweiterung der klassischen Modallogik, die entwickelt wurde, um Programme und deren Ausführungsverhalten formal zu beschreiben. Das Buch behandelt die Grundlagen der dynamischen Logik und ihre Syntax und Semantik. Es untersucht verschiedene Arten von logischen Systemen und zeigt, wie diese zur Modellierung von Computerprogrammen verwendet werden können. Ein zentraler Aspekt ist die Fähigkeit der dynamischen Logik, sowohl den Zustand eines Programms als auch dessen mögliche Zustandsübergänge zu analysieren. Tiuryn erklärt theoretische Konzepte durch präzise mathematische Darstellungen und Beispiele. Er diskutiert auch Algorithmen für die Entscheidbarkeit und Komplexität sowie Anwendungen in der Verifikation von Software-Systemen. Das Buch richtet sich an Studierende und Forscher im Bereich Informatik, insbesondere diejenigen mit Interesse an formaler Methodenlehre und theoretischer Informatik. Insgesamt bietet 'Dynamic Logic' einen tiefen Einblick in die Verbindung zwischen Logiksystemen und praktischer Programmverifikation, was es zu einer wertvollen Ressource für das Verständnis dieser komplexen Themen macht.