THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES

We show that the bounded fragment of first-order logic and the hybrid language with ʹdownarrowʹ and ʹatʹ operators are equally expressive even with polyadic modalities, but that their ʹpositiveʹ fragments are equally expressive only for unary modalities.