Preskoči na sadržaj
Moj profil Upisi

diplomski rad (sveučilišni) · 2018

Modalna potpunost logika interpretabilnosti

Tin Perkov

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.

Ključne riječi

modalna logika logika interpretabilnosti