TY  - RPRT
TI  - Dynamic Logic of Common Knowledge in a Proof Assistant
AU  - Pierre Lescanne
AU  - Jérôme Puisségur
PY  - 2007
UR  - https://arxiv.org/abs/0712.3146
ID  - 0712.3146
ER  -