activity
20112025
most citedWeak Models of Distributed Computing, with Connections to Modal Logic

31 citations · 111 across the 33 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

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

Parameterised Complexity of Propositional Inclusion and Independence Logic

Yasir Mahmood, Jonni Virtema

We give a comprehensive account on the parameterized complexity of model checking and satisfiability of propositional inclusion and independence logic. We discover that for most pa…