76 citations · 138 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.CO2018★ 3 cited
Acyclicity in finite groups and groupoids
Martin Otto
We expound a concise construction of finite groups and groupoids whose Cayley graphs satisfy graded acyclicity requirements. Our acyclicity criteria concern cyclic patterns formed…
math.LO2018★ 1 cited
Inquisitive bisimulation
Ivano Ciardelli, Martin Otto
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the in…