u perspek - Filozofski fakultet u Splitu

Form(Φ) ∪ Proc(Φ):
· Formule Form(Φ) su jedino: propozicijska slova (p, q, ...),
istinitosne vrijednosti (>, ⊥), složene propozicije (¬ϕ, ϕ ∧ ψ),
modalne propozicije (do(α); ra(α); fix(α))
· Postupci Proc(Φ) su jedino: jednostavni postupci (exp(ϕ),
con(ϕ), ϕ?), složeni postupci (α1 ∩ α2, α1; α2, −α, α ` )
Postupci imaju formule kao svoju matricu, dok modalne
propozicije pozivaju programe.
3.3.1 Semantika jezika LDML
Definicija 3.8 Modeli jezika LDML su strukture M =
hW, v, k·k ,Vi gdje:
· W je skup mogućih svjetova (vrednovanja, modela prvog
reda),
· vje tranzitivna i refleksivna relacija informacijskog ure ¯denja,
· k·kje funkcija s Proc(Φ) u ℘ (W × W ),
· V je funkcija sa skupa propozicijskih slova u ℘W .
Definicija 3.9 Interpretacija projekcija:
· M,x² do(α) akko ∃y (hx, yi ∈kαk)
· M,x² ra(α) akko ∃y (hy, xi ∈kαk)
· M,x² fix(α) akko hx, xi ∈kαk
Definicija 3.10 Interpretacija postupaka:
· kexp(ϕ)k = {hx, yi |x v y ∧M,y ² ϕ}
· kcon(ϕ)k = {hx, yi |y v x ∧M,y 2 ϕ}
143