Pfadlogik
Pfadlogik bezeichnet eine Gruppe formaler Sprachen und Semantiken, die darauf abzielen, Eigenschaften von Pfaden in Graphstrukturen, Zustandsübergangssystemen oder Programmlaufbahnen zu beschreiben. In der Praxis ermöglicht Pfadlogik Aussagen über das Vorhandensein oder die universelle Gültigkeit von Pfaden sowie über Eigenschaften, die entlang eines Pfades erfüllt sein sollen.
Syntax und Semantik: Typischer Aufbau umfasst Pfadvariablen, Prädikate für Knoten- bzw. Kanteneigenschaften und Operatorsymbole zur Verknüpfung
Beziehungen zu anderen Logiken: Pfadlogik steht in Verbindung mit Propositional Dynamic Logic (PDL), temporalen Logiken wie
Anwendungen und Grenzen: Sie findet Anwendung in der Programmanalyse, im Model Checking, in formalen Spezifikationen sowie