Naslov
Modalna potpunost logika interpretabilnosti
(Modal completeness of interpretability logics)

Autori
Horvat, Sebastijan

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno-matematički fakultet

Mjesto
Zagreb

Datum
16.07

Godina
2018

Stranica
73

Mentor
Vuković, Mladen ; Perkov, Tin

Ključne riječi
modalna logika ; logika interpretabilnosti
(modal logic ; interpretability logic)

Sažetak
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.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika

POVEZANOST RADA