u perspek - Filozofski fakultet u Splitu

akko
Posljedica 0-promjena-provjera (0-update-to-test consequence):
ϕ 1; ...; ϕ n ²0−ut ψ
0[ϕ 1] ... [ϕ n]=0[ϕ 1] ... [ϕ n][ψ] .
Definicija 1.1 Posljedica promjena-provjera (update-to-test):
akko
ϕ 1,...,ϕ n ²ut ψ
∀σ : σ [ϕ 1] ... [ϕ n]=σ [ϕ 1] ... [ϕ n][ψ] .
Definicija 1.2 Posljedica provjera-provjera (test-to-test):
akko
ϕ 1; ...; ϕ n ²tt ψ
∀σ : σ [ϕ 1]=... = σ [ϕ n] → σ [ϕ 1][ψ] =... = σ [ϕ n][ψ] .
Definicija 1.3 Posljedica promjena-promjena (update-to-update):
akko
ϕ 1; ...; ϕ n ²uu ψ
∀σ : σ [ϕ 1] ... [ϕ n] 6= 1→ σ [ϕ 1] ... [ϕ n][ψ] 6= 1.
Prva dva pojma posljedice, ²0−ut i ²ut mogu biti korisna u
imperativnoj logici za istraživanje onih semantičkih odnosa koji
su osjetljivi na redoslijed i koji su osporivi i lokalni. Spomenuta
dva pojma posljedice nemaju «strukturalna svojstva» klasičnog
odnosa posljedice (van Benthem [12], Groeneveld [47]). Donja
tablica pokazuje neka takva svojstva.
18