Uridia, L., & Walther, D. . (2020). Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artificial, 23(65), 1–18. https://doi.org/10.4114/intartif.vol23iss65pp1-18