u perspek - Filozofski fakultet u Splitu

«update-semantici» [79] Kripke modelsevariranadvanačina:
uklanjanjem mogućeg svijeta (W -varijacija) i diferenciranjem
odnosa dostupnosti (R-varijacije). U ovdje predloženoj
Fiat/Est logici interpretacija može inducirati eliminativne W -
varijacije i eliminativne R-varijacije. Groenendijk i Stokof
koriste [43] a-varijacije na Tarski-modelima. Uobičajeni
školski primjer je pojednostavljena verzija Veltmanove «updatesemantike»
u kojoj su dopuštene samo W -varijacije. Na
takvu semantiku oslanjali smo se u primjeru 4.2 s «tablicom
eliminacije otvorenih mogućnosti». U takvom jednostavnom
sustavu dopušteni su iskazi tipa ’¦ϕ’ u kojima se ’¦’ tumači kao
epistemički modalitet, u smislu ’u aktualnom informacijskom
stanju nije isključena mogućnost da ϕ jest slučaj’. Uobičajena
jezičnapojavaepistemičkog modaliteta ima oblik ’Možda ϕ’,
a njegova dinamična interpretacija je akcija provjeravanja ϕ?.
Svaka točka u informacijskom ure ¯denju sada predstavlja stanje
djelatnika u koji se kreće samo unaprijed jednom od mogućih
staza. Stanje djelatnikova znanja poistovjećuje se s S5 modelom.
3.4 Svojstva S5 modela
Poznati aksiomi modalnih logika karakteriziraju odre ¯dene vrste
okvira. Za skup iskaza ∆ kažemo da karakterizira vrstu okvira C
akko svi modeli izgra ¯deni na okvirima verificiraju svaki pojedini
iskaz iz skupa ∆, ili formalno, C = {F |∀ϕ∈ ∆:F ² ϕ}.
Dobro poznate modalne logike K, T , K4, S5 hijerahijski su
složene tako da svaka sljedeća uključuje aksiome prethodne.
Karakteristične aksiome spomenutih logika možemo promatrati
kao opis svojstava relacije dostupnosti:
· T : aksiom ¤p → p karakterizira refleksivne okvire,
· K4 (S4) : aksiom ¤p → ¤¤p karakterizira tranzitivne
okvire,
· S5 :aksiom ¦¤p → p karakterizira simetrične okvire.
Tehnika [13] kojom se odre ¯duju svojstva relacije dostupnosti
počiva na načelu «minimalnog ispunjenja antecedensa». Najprije
150