76 citations · 138 across the 15 of their papers we have counts for
15 papers
Finite approximation of free groups I: the -inverse cover problem
K. Auinger, J. Bitterlich, M. Otto
For a finite connected graph with set of edges , a finite -generated group is constructed such that the set of relations satisfied by (with a…
Constant-Delay Enumeration for Nondeterministic Document Spanners
Antoine Amarilli, Pierre Bourhis, Stefan Mengel +1
We consider the information extraction framework known as document spanners, and study the problem of efficiently computing the results of the extraction from an input document, wh…
Graded modal logic and counting bisimulation
Martin Otto
This note sketches the extension of the basic characterisation theorems as the bisimulation-invariant fragment of first-order logic to modal logic with graded modalities and matchi…
Cayley structures and common knowledge
Felix Canavoi, Martin Otto
We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of b…
A First-Order Framework for Inquisitive Modal Logic
Silke Meißner, Martin Otto
We present a natural standard translation of inquisitive modal logic InqML into first-order logic over the natural two-sorted relational representations of the intended models, whi…
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…