Bertei, A., Reiser, R., & Foss, L. 2021 Nov 17. An Application for Medical Diagnosis Using Correlation Coefficient With Modal Operators and Operator Identifying and Unary. Proceedings of the Workshop-School on Theoretical Computer Science (WEIT). [Online] :