24 citations · 49 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016★ 7 cited
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
Fabian Reiter
We establish the equivalence between a class of asynchronous distributed automata and a small fragment of least fixpoint logic, when restricted to finite directed graphs. More spec…
cs.LO2016
Alternating Set Quantifiers in Modal Logic
Fabian Reiter
We establish the strictness of several set quantifier alternation hierarchies that are based on modal logic, evaluated on various classes of finite graphs. This extends to the moda…