Lógicas modales proposicionales normales sin interpolación | Publicación