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. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :