

Beschreibung
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'aborde...