The flattening operator in team-based logics
Logic in Computer Science
2025-05-28 v1
Abstract
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 since. We begin a systematic study of the expressive power this operator adds to the most well-known team-based logics, such as dependence logic, anonymity logic, inclusion logic and exclusion logic.
Cite
@article{arxiv.2505.21149,
title = {The flattening operator in team-based logics},
author = {Arnaud Durand and Juha Kontinen and Werner Mérian and Jouko Väänänen},
journal= {arXiv preprint arXiv:2505.21149},
year = {2025}
}