Citations of:
Add citations
You must login to add citations.


Plural Logic is an extension of FirstOrder Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the firstorder domain of quantification. Given that Plural Logic is equiinterpretable with Monadic SecondOrder Logic, it gives us its expressive power at the low ontological cost of a firstorder language. This (...) 