Showing 2021 · cs.LOShow all
2 papers · 2 filters
cs.LO2021
Temporal Team Semantics Revisited
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem +1
Temporal logics have been studied as an approach to the specification of hyperproperties, resulting in the conception of "hyperlogics". With a few recent exceptions, the hyperlogic…
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…