View of Proof theory of epistemic logic of programs

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