Maffezioli, Paolo, and Alberto Naibo. “Proof Theory of Epistemic Logic of Programs”. Logic and Logical Philosophy 23, no. 3 (September 12, 2013): 301–328. Accessed July 4, 2025. https://apcz.umk.pl/LLP/article/view/LLP.2013.026.