# Does the represented Kripke distinguish the difference between the formulas?

gefragt 2017-08-22 16:22:06 +0200

Das ist ein Wiki-Beitrag. Jeder mit Karma >75 darf diesen Beitrag verbessern.

bearbeiten retag schließen löschen

## 1 Antwort

geantwortet 2017-08-22 19:32:37 +0200

Difficult to answer if you don't specify a particular path of the structure, since we have to compare here two path formulas with each other. Let me therefore draw your attention to the following path that is included in the above structure:

Recall that [x SB y] holds on a path at some time t, if and only if at some time x holds and up to that point of time (including that point of time) y does not hold on that path.

Indeed, the only initial path of the above structure can distinguish between the two formulas:

• [b SB c] holds at no point of time on that path since b never becomes true on the path
• [a SB [b SB c]] holds therefore at all points of time, since a holds from t=1 on, and [b SB c] never holds on the path, thus a holds before [b SB c]
• [a SB b] holds at all points of time on that path since b never becomes true, but a does from time t=1 on, so a is true before b
• [[a SB b] SB c] does not hold at time t=0 on the path since c is already true there and therefore [a SB b] cannot become true before c

To summarize, on that initial path, [a SB [b SB c]] holds at time t=0, but [[a SB b] SB c] does not hold there. Hence, the structure distinguishes between the two formulas.

If you want to double-check the above claims with a tool, then you can check the following formulas for validity:

• !a & !b & c & X G(a&!b&!c) -> G![b SB c]
• !a & !b & c & X G(a&!b&!c) -> G[a SB [b SB c]]
• !a & !b & c & X G(a&!b&!c) -> G[a SB b]
• !a & !b & c & X G(a&!b&!c) -> ![[a SB b] SB c]
mehr

## Ihre Antwort

Du kannst deinen Eintrag bereits als Gast verfassen. Deine Antwort wird zwischengespeichert, bis du dich eingeloggt oder registriert hast.
Bitte nur konstruktive Antworten auf diese konkrete Frage posten.
Falls du eine Frage stellen willst, dann stelle eine neue Frage.
Für kurze Diskussionen und Nachfragen benutze bitte die Kommentar-Funktion.
Deine Fragen und Antworten kannst du jederzeit nachbearbeiten und verbessern.
Gute Fragen und Antworten kannst du mit einem Upvote oder Downvote bewerten.

Schreibe deine Antwort auf diese Frage

[Vorschau ausblenden]

## Statistik

Gefragt: 2017-08-22 16:22:06 +0200

Gesehen: 108 mal

Letztes Update: Aug 23 '17