76 citations · 138 across the 15 of their papers we have counts for
4 papers · 1 filter
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…
Decidability Results for the Boundedness Problem
Achim Blumensath, Martin Otto, Mark Weyer
We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(…
Querying the Guarded Fragment
Vince Bárány, Georg Gottlob, Martin Otto
Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether "F and not Q" is unsatisfiable. This problem is relevant to the ar…
Pebble Games and Linear Equations
Martin Grohe, Martin Otto
We give a new, simplified and detailed account of the correspondence between levels of the Sherali-Adams relaxation of graph isomorphism and levels of pebble-game equivalence with…