Browsing eNauka
Browsing by Project Delft Technology Fellowship
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | A proof-theoretic semantic analysis of dynamic epistemic logic | Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta  | Article | 21aM21a |
| 2016 | Multi-type display calculus for dynamic epistemic logic | Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta | Article | 21aM21a |