Interleaving Logic and Counting

Johan van Benthem, Thomas Icard

Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is…