Counting quantification: Difference between revisions

Revision as of 22:06, 16 May 2011

Revision as of 19:27, 12 August 2011

Line 4:

Also, generalized counting quantifiers that say "there exists infinitely many" are not expressible using a finite number of formulas in first-order logic.

==References See also ==

*[[Uniqueness quantification]]

== References ==

* Erich Graedel, Martin Otto, and Eric Rosen. "Two-Variable Logic with Counting is Decidable." In ''Proceedings of 12th IEEE Symposium on Logic in Computer Science LICS `97'', Warschau. 1997. [http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/gorc2.ps Postscript file] {{oclc|282402933}}