https://hawkrobe.github.io/linglib/tags/rsa/Recent content in RSA on lingliblogHugo -- 0.159.0en-usSat, 14 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-14-kennedy-meets-goodman-stuhlmuller/Sat, 14 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-14-kennedy-meets-goodman-stuhlmuller/Kennedy’s exact numeral semantics and Goodman & Stuhlmuller’s knowledge-sensitivity results look incompatible. Type-shifting resolves it.https://hawkrobe.github.io/linglib/posts/2026-02-10-generalized-quantifiers/Tue, 10 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-10-generalized-quantifiers/Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.https://hawkrobe.github.io/linglib/posts/2026-02-09-hello-world/Mon, 09 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-09-hello-world/Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.