@ARTICLE{
author={Frittella Sabine,Greco Giuseppe,Kurz Alexander,Palmigiano Alessandra,Sikimic Vlasta J},
year={2016},
title={Multi-type display calculus for dynamic epistemic logic},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={26},
number={6},
pages={2017-2065},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Frittella Sabine,Greco Giuseppe,Kurz Alexander,Palmigiano Alessandra,Sikimic Vlasta J},
year={2016},
title={A proof-theoretic semantic analysis of dynamic epistemic logic},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={26},
number={6},
pages={1961-2015},
document_type={Article; Proceedings Paper},
}