L'interaction des notions modales et temporelles dans un cadre formel constitue un champ difficile à aborder sans connaissance préliminaire des outils manipulant les mondes possibles. Cet ouvrage comble ce manque, en introduisant, pour la première fois en langue française, les systèmes formels issus de la logique modale et utilisés en linguistique. Différents cadres théoriques sont présentés, et notamment l'approche Kratzerienne et la théorie du temps branchant. La discussion des théories modales est menée à travers le prisme du langage naturel et la notion, centrale dans cet ouvrage, de sens vériconditionnel est mise à l'épreuve des données. Au fil des chapitres, les notions théoriques sont abordées via une étude de cas, permettant de traiter de nombreuses questions autour des modalités déontique, de capacité et épistémique, en interaction avec le temps. Notre discussion, qui articule l'empirique et le formel, ne présuppose aucune connaissance formelle préliminaire. Ce livre s'adresse ainsi aussi bien à un public étudiant, qu'aux chercheurs en linguistique, en philosophie ou en sciences cognitives.