Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano. Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 85-87, EasyChair, 2013. [doi]
@inproceedings{GrecoKP13-0,
title = {Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge},
author = {Giuseppe Greco and Alexander Kurz and Alessandra Palmigiano},
year = {2013},
url = {http://www.easychair.org/publications/?page=1263462467},
researchr = {https://researchr.org/publication/GrecoKP13-0},
cites = {0},
citedby = {0},
pages = {85-87},
booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013},
editor = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
volume = {25},
series = {EPiC Series},
publisher = {EasyChair},
}