Lógicas modales proposicionales normales sin interpolación - Marraud, Hubert (ENDOXA, 1993)