Grammaticality as Provability

Invited @ Logic seminar of the University of Groningen
May 28, 2025
Slides

A tour through type-logical grammars, with a focus on modalities as a means of describing dependency structure.