Autori: Greco Giuseppe
| Naslov | Multi-type display calculus for dynamic epistemic logic (Article; Proceedings Paper) |
| Autori | Frittella Sabine Greco Giuseppe Kurz Alexander Palmigiano Alessandra Sikimic Vlasta J |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 6, str. 2017-2065 |
| Projekat | NWO Vidi grant [016.138.314]; NWO Aspasia grant [015.008.054]; Delft Technology Fellowship |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A proof-theoretic semantic analysis of dynamic epistemic logic (Article; Proceedings Paper) |
| Autori | Frittella Sabine Greco Giuseppe Kurz Alexander Palmigiano Alessandra Sikimic Vlasta J |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 6, str. 1961-2015 |
| Projekat | NWO Vidi [016.138.314]; NWO Aspasia [015.008.054]; Delft Technology Fellowship |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
