Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Levan Uridia, Dirk Walther 0002. Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 23(65):1-18, 2020. [doi]

Abstract

Abstract is missing.