Pregled bibliografske jedinice broj: 61064
Generalizirani Veltmanovi modeli
Generalizirani Veltmanovi modeli, 1996., doktorska disertacija, PMF-Matematički odjel, Zagreb
CROSBI ID: 61064 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Generalizirani Veltmanovi modeli
(Generalized Veltman models)
Autori
Vuković, Mladen
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija
Fakultet
PMF-Matematički odjel
Mjesto
Zagreb
Datum
28.10
Godina
1996
Stranica
74
Mentor
Šikić, Zvonimir
Ključne riječi
logika interpretabilnosti; Veltmanovi modeli
(interpretability logic; Veltman models)
Sažetak
U radu se proučavaju veze među principima interpretabilnosti. Za ta proučavanju primjenjuje se nova semantika - generalizirana Veltmanova semantika - koju je definirao de Jongh.
Određena je veza među IL-modelima i IL_skup-modelima. Zatim se dokazuje adekvatnost i potpunost modalnog sistema IL u odnosu na generaliziranu Veltmanovu semantiku.
U četvrtom poglavlju proučavaju se karakteristične klase IL_skup-okvira pojedinog prinicipa interpretabilnosti. Određena je semantika za prinicip M_0.
U posljednjem poglavlju dokazuje se nezavisnost među principima. Dano je proširenje Švejdarovog teorema.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
