u perspek - Filozofski fakultet u Splitu

promjena-promjena. Evo izvorne definicije [43] (str.28.):
ϕ 1,...,ϕ n ² ψ
akko
∀M∀h∀g1,...,∀gn :
µ
hg1,g2i ∈kϕ1kM ∧ ...∧
→∃k : hh, ki ∈kψk
hgn,hi∈kϕ M
nkM Moguće je definiciju DPL slijeda iskazati različitim načinima,
ovisno o odabranom jeziku. Evo alternativnih formulacija:
· u jeziku dinamične modalne logike:
ra(exp(ϕ 1); ...; exp(ϕ n)) → do(exp(ψ))
Predlažemo sljedeću formulaciju koju ćemo u daljnjem tekstu
koristiti kao osnovu za ispitivanje valjanosti:
ϕ 1,...,ϕ n
²
promjena−promjena ψ
akko
∀G : kψk kϕn k k..kkϕ1 k G
6= ∅
gdje je G ⊆ A × A, tj. skup ure ¯denih parova funkcija
dodjeljivanja vrijednosti varijablama.
U posebnom slučaju, kad je G =0=A × A, dobivamo oblik
slijeda nulto stanje-promjena-promjena:
akko
ϕ 1,...,ϕ n
²
0−promjena−promjena ψ
kψk kϕn k k...kkϕ1 k 0
6= ∅.
167