El primer sistema formal de lógica modal fue desarrollado por Avicenna, quien finalmente desarrolló una teoría silogística «temporalmente modalizada».