Browsing by Author Mikec, Luka
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
Jan-2021 | Interpretability logics and generalized Veltman semantics in Agda | Mas Rovira, Jan |
30-Apr-2021 | On Logics and Semantics for Interpretability | Mikec, Luka |