Pregled bibliografske jedinice broj: 1083862
Generalised Veltman semantics in Agda
Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 86-90 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
CROSBI ID: 1083862 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Generalised Veltman semantics in Agda
Autori
Mas Rovira, Jan ; Mikec, Luka ; Joosten, Joost J.
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, kratko priopćenje, znanstveni
Izvornik
Short Papers Advances in Modal Logic 2020
/ - , 2020, 86-90
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
Interpretability ; Provability logic ; Veltman semantics ; Agda
Sažetak
In this extended abstract we compute some rather involved frame conditions w.r.t. Generalised Veltman Semantics for principles of nterpretability logic. All proofs have been formalised in Agda and we briefly comment on this formalisation.
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
Profili:
Luka Mikec
(autor)
