Uridia, L.; Walther, D. . Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. ia 2020, 23, 1-18.