Als «linear-temporal-logic» getaggte Fragen

28

Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen

Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine Kombination mit n/2Paaren erstellen,...

algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

12

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"...

logic linear-temporal-logic temporal-logic

9

Warum

Es ist bekannt, dass die zeitliche Logik LTL, CTL, CTL * in den Kalkül übersetzt / eingebettet werden kann. Mit anderen Worten, der (modale) Kalkül fasst diese Logik zusammen (dh er ist ausdrucksvoller).μμ\muμμ\mu Könnten Sie mir bitte erklären / auf Papiere / Bücher verweisen, die diese...

logic simulation linear-temporal-logic mu-calculus computation-tree-logic