Uridia, Levan. “Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses”. Inteligencia Artificial 23, no. 65 (April 1, 2020): 1-18. Accessed August 12, 2020. https://journal.iberamia.org/index.php/intartif/article/view/403.