Mediante el cálculo la lógica encuentra nuevos desarrollos como lógicas modales y lógicas polivalentes.