76 citations · 138 across the 15 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CO2017★ 8 cited
Amalgamation and Symmetry: From Local to Global Consistency in The Finite
Martin Otto
We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures togethe…
cs.LO2017★ 4 cited
Bisimulation in Inquisitive Modal Logic
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…