6 citations · 15 across the 7 of their papers we have counts for
1 paper · 1 filter
Denis Kuperberg
We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable language that is monotone…