Maffezioli, Paolo, and Alberto Naibo. 2013. “Proof Theory of Epistemic Logic of Programs”. Logic and Logical Philosophy 23 (3):301–328. https://doi.org/10.12775/LLP.2013.026.