On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties

Juha Kontinen, Max Sandström

In this article we study linear temporal logics with team semantics (TeamLTL) that are novel logics for defining hyperproperties. We define Kamp-type translations of these logics i…