izvor podataka: crosbi
✓
Generalised Veltman semantics in Agda (CROSBI ID 694693)
Prilog sa skupa u zborniku | kratko priopćenje | međunarodna recenzija
Mas Rovira, Jan ; Mikec, Luka ; Joosten, Joost J.
Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020. 2020. str. 86-90
Podaci o odgovornosti
Mas Rovira, Jan ; Mikec, Luka ; Joosten, Joost J.
engleski
Generalised Veltman semantics in Agda
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.
Interpretability ; Provability logic ; Veltman semantics ; Agda
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
86-90.
2020.
objavljeno
Podaci o matičnoj publikaciji
Short Papers Advances in Modal Logic 2020
Podaci o skupu
Advances in Modal Logic 2020
predavanje
24.08.2020-28.08.2020
Helsinki, Finska