21 citations · 116 across the 38 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
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…
cs.LO2021
A Parameterized View on the Complexity of Dependence Logic
Juha Kontinen, Arne Meier, Yasir Mahmood
In this paper, we investigate the parameterized complexity of model checking for Dependence Logic which is a well studied logic in the area of Team Semantics. We start with a list…
cs.LO2021
On elementary logics for quantitative dependencies
Miika Hannula, Minna Hirvonen, Juha Kontinen
We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable…