eNauka - pregled
Pregled prema Projekat Delft Technology Fellowship
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | A proof-theoretic semantic analysis of dynamic epistemic logic | Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta  | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2016 | Multi-type display calculus for dynamic epistemic logic | Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |