Publications

Travaux publiés

• The flattening operator in team-based logics
  Arnaud Durand, Juha Kontinen, Werner Mérian et Jouko Väänänen, septembre 2025
  DOI : 10.1093/logcom/exaf045
  [ BibTeX | Mirroir ] [ 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.

Pré-publications