Pregled bibliografske jedinice broj: 1083860
A W-flavoured series of interpretability principles
A W-flavoured series of interpretability principles // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 60-64 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
CROSBI ID: 1083860 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A W-flavoured series of interpretability principles
Autori
Mikec, Luka ; Joosten, Joost J. ; Vuković, Mladen
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, kratko priopćenje, znanstveni
Izvornik
Short Papers Advances in Modal Logic 2020
/ - , 2020, 60-64
Skup
Advances in Modal Logic 2020
Mjesto i datum
Helsinki, Finska, 24.08.2020. - 28.08.2020
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Formalised interpretability ; Interpretability logic ; Modal logic
Sažetak
While attempting to prove that the logic ILWR is modally complete, we found a new series of interpretability principles. In this short paper we sketch the proofs that the series is arithmetically sound, show that principles are valid in ordinary ILWR-frames, and evaluate the possible impact of our results.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
HRZZ-IP-01-2018- 7459
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
