This page will be updated throughout the course, with links to the materials used in class, so visit regularly!
About the Course
The course gives an introduction to the generalized quantifier theory, overviewing some crucial notions of formal semantics and logic. We survey how mathematical methods may be rigorously applied to study the possible meanings, the inferential power, and computational properties of quantifier expressions. The course novelty lies mostly in combining classical generalized quantifier themes with a computational perspective.
For more information visit the content page.