Publications

Preprints

• The flattening operator in team-based logics [pdf] [bib]
  Arnaud Durand, Juha Kontinen, Werner Mérian et Jouko Väänänen, Mai 2025
  [version arXiv]
  Abstract

  Nous proposons une étude systématique de l'opérateur dit d'aplatissement en sémantique d'équipe. Cet opérateur a été introduit par Hodges en 1997 et n'a pas été étudié plus en détail depuis. Nous commençons une étude systématique du pouvoir expressif que cet opérateur ajoute aux logiques d'équipes les plus connues, telles que la logique de dépendance, la logique d'anonymat, la logique d'inclusion et la logique d'exclusion.