Les logiques modales ont été utilisées pour raisonner sur les systèmes concurrents pouvant être décrits dans une algèbre de processus telle que CCS. Des modèles plus récents (pi-calcul, Ambients) présentent toutefois davantage l'aspect d'une structure spatiale évolutive que d'une structure évenementielle, ce qui motive l'introduction de logiques dites spatiales pour en spécifier les propriétés. Nous ferons une présentation des logiques spatiales existantes et discuterons de résultats d'expressivité qui permettent de les comparer entre elles et de les positionner par rapport aux autres logiques.