Generalizirani Veltmanovi modeli (CROSBI ID 333186)
Ocjenski rad | doktorska disertacija
Podaci o odgovornosti
Vuković, Mladen
Šikić, Zvonimir
hrvatski
Generalizirani Veltmanovi modeli
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.
logika interpretabilnosti; Veltmanovi modeli
nije evidentirano
engleski
Generalized Veltman models
nije evidentirano
interpretability logic; Veltman models
nije evidentirano
Podaci o izdanju
74
28.10.1996.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb