de Araújo Feitosa, H.; Rodrigues Moreira, A. P.; Loffredo D’Ottaviano, I. M. NOÇÕES DE MODELOS EM LÓGICAS UNIVERSAIS. RC 2016.