Adding modular predicates to first-order fragments

Luc Dartois, Charles Paperman

We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most…