Ce livre présente les théories formelles de la modalité en interaction avec le temps, à travers le prisme du langage naturel. Il présente différents modèles (théorie des mondes possibles, temps branchant) et développe une étude de cas, permettant d’aborder les questions clés autour de la modalité déontique, habilitative et épistémique.