Return to Article Details Proof theory of epistemic logic of programs Download Download PDF