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