Nestandardni modalni modeli

Svrha rada je samostalno istražiti dva karakteristična nestandardna modalna modela koji su primjenjivi u logici znanja i vjerovanja. Stoga se u ovom radu analiziraju i interpretiraju nemogući svjetovi i lokalno zaključivanje. Kako su oba modela ujedno i pristupi rješavanju problema logičkog sveznanja, ono čini i svojevrsnu okosnicu samoga rada. Kao što ćemo pokazati, logičko sveznanje je nezaobilazan problem u standardnom modalnom modelu. Naime, dotični problem nastaje uslijed toga što činitelji u ovom modelu znaju sve logičke posljedice svoga znanja, te sve tautologije. Kao zaključak rada se nužno nameće činjenica da model nemogućih svjetova nudi potpunije rješenje za problem logičkog sveznanja. Kao što se u radu može vidjeti, u modelu nemogućih svjetova niti jedan od oblika logičkog sveznanja ne vrijedi. Za razliku od navedenog modela, lokalno zaključivanje čini umjereniji pristup. Iako nudi vrlo učikovita rješenja za određene oblike logičkog sveznanja, drugi oblici u njemu ipak opstaju