Modalna potpunost logika interpretabilnosti (CROSBI ID 423927)
Ocjenski rad | diplomski rad
Podaci o odgovornosti
Horvat, Sebastijan
Vuković, Mladen ; Perkov, Tin
hrvatski
Modalna potpunost logika interpretabilnosti
Sistem IL je modalni sistem kojeg je 1988. uveo Albert Visser. Neka od proširenja sistema IL su logike interpretabilnosti ILM, ILP, ILW i ILM_0. Evan Goris i Joost Joosten su 2004. dali nove dokaze potpunosti sistema IL i ILM koristeći step–by–step metodu kojom su potom dokazali i modalnu potpunost sistema ILM_0 i ILW*. U ovom radu je prikazan dokaz teorema modalne potpunosti za sistem IL step–by–step metodom, te je istom metodom dan novi dokaz modalne potpunosti sistema ILP.
modalna logika ; logika interpretabilnosti
nije evidentirano
engleski
Modal completeness of interpretability logics
nije evidentirano
modal logic ; interpretability logic
nije evidentirano
Podaci o izdanju
73
16.07.2018.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb