An Epistemic Proof System for Parallel Processes.

M. van Hulst, John-Jules Ch. Meyer

Browse the full TARK paper archive.