u perspek - Filozofski fakultet u Splitu

Sadržaj
Zahvale 7
Predgovor 9
IMPERATIVNA LOGIKA I DINAMIČNA
SEMANTIKA 11
1 Eliminativna semantika s jednim potezom 13
1.1 Neke primjedbe 13
1.2 Semantički pojmovi 17
2 Jednostavni sustav obnavljanjazaimperative 23
2.1 Modusi i modalni elementi 23
2.2 Jezik L!·¡ «s tri poteza» za imperativnu logiku 26
2.3 Redukcija neizvjesnosti u praktičnom
ambijentu 32
3 Tehnički dodatak 35
4 Prima facie posljedica 57
4.1 Proširenje jezika L!·¡ na L¦!·¡ 59
4.2 Neperzistentne rečenice i preferirani model 61
4.3 Pomirenje sukobljenih sustava 63
5 Negacija imperativa i pojam promjene 71
5.1 Prošireni jezik L¬!¦!·¡ 74
6 Kondicionalni imperativ 83
6.1 Kondicionalni imperativ i prošireni jezik
85
L→!>¬!¦!·¡
5