Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas formales; entre los que destacan las muchas lógicas modales.