We show that over the class of linear orders with additional binary relations satisfying some
monotonicity conditions, monadic first-order logic has the three-variable property. This …

Cette thèse porte sur l'expressivité de la logique du premier ordre et d'autres formalismes
sur différentes classes de structures ordonnées, parmi lesquelles les MSC (Message …

This thesis is concerned with the expressive power of first-order logic and other formalisms
over different classes of ordered structures, among which MSCs (Message Sequence …