Meanings
- not comparableInvolving more than one counter.
Surprisingly, the complexity of the problem explodes when we add one binary symbol more: C2 with one linear order and in the presence of other binary predicate symbols is equivalent, under elementary reductions, to the emptiness problem for multicounter automata.
2016, Witold Charatonik, Piotr Witkowski, “Two-variable Logic with Counting and a Linear Order”, in arXiv
Origin
Cite this entry
multicounter. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/multicounter
“multicounter.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/multicounter. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “multicounter,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/multicounter.
Source: multicounter on Wiktionary, CC BY-SA 4.0.