1
Der Unterschied zwischen dynamischer Logik und zeitlicher Logik
Um den Unterschied herauszufinden, bin ich gerade auf Aussagen über die zeitliche Logik in Wikipedia gestoßen : Eine andere Variante der Modallogik, die viele Gemeinsamkeiten mit der dynamischen Logik aufweist, unterscheidet sich von allen oben genannten Logiken durch das, was Pnueli als "endogene" Logik charakterisiert hat, während die anderen "exogene" …