Return to Article Details Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses Download Download PDF