Naslov
Smart labels

Autori
Horvat, Sebastijan

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Logic and Applications 2019 Book of Abstracts / - , 2019, 19-20

Skup
8th International Conference Logic and Applications (LAP 2019)

Mjesto i datum
Dubrovnik, Hrvatska, 23.09.2019. - 27.09.2019

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Nije recenziran

Ključne riječi
Interpretability logic ; modal completeness ; critical successor ; assuring successor ; maximal consistent set

Sažetak
In this talk, we will first give a brief overview on interpretability logics and Goris–Joosten construction method for proving completeness of some interpretability logic. In the second part, we will define assuringness and will see some of its properties. Also, existence lemma for ILW will be presented. Because proving the decidability of an interpretability logic is in all known cases done by showing that the logic has the finite model property, we will abandon maximal critical sets and work with truncated parts of them. Here the notion of adequate set will be presented. Finally, in the third and the last part of the talk, we will give an overview of the proof of completeness of interpretability logic ILW. More formally, we will prove the completeness of ILW. As we will see, the main part in the proof is to show the truth lemma.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA