Volver a los detalles del artículo Lógica, lenguajes formales y modalidad