A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.

Eric Ufferman, Pedro Arturo Gngora, Francisco Hernndez Quiroz

Browse the full AiML paper archive.