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