1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
First-Order logic and its Infinitary Quantifier Extensions over Countable Words
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic cha…
Undecidability of a weak version of MSO+U
Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon +2
We prove the undecidability of MSO on -words extended with the second-order predicate which says that the distance between consecutive positions in a set $X \subseteq \…
Modulo quantifiers over functional vocabularies extending addition
A. Baskar, A. V. Sreejith, R. S. Thinniyam
We show that first order logic (FO) and first order logic extended with modulo counting quantifiers (FOMOD) over purely functional vocabularies which extend addition, satisfy the C…
Non-definability of languages by generalized first-order formulas over (N,+)
Andreas Krebs, A. V. Sreejith
We consider first-order logic with monoidal quantifiers over words. We show that all languages with a neutral letter, definable using the addition numerical predicate are also defi…