The flattening operator in team-based logics

Arnaud Durand, Juha Kontinen, Werner Mérian +1

We propose a systematic study of the so-called flattening operator in team semantics. This operator was first introduced by Hodges in 1997, and has not been studied in more detail…