Numerals, Knowledge, and Type-Shifting
Kennedy’s exact numeral semantics and Goodman & Stuhlmuller’s knowledge-sensitivity results look incompatible. Type-shifting resolves it.
RSA
Generalized Quantifiers as a Case Study in Cross-Module Verification
Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.
A Tour of Linglib
Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.