Eric Ufferman (ufferman)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Ufferman, Eric, Góngora, Pedro Arturo and Hernández-Quiroz, Francisco. 2010. “A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite \(\pi\)-Calculus Processes.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 470–482. London: King’s College Publications.