Uridia, Levan. 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.