Psych verbs like frighten and concern differ in opacity, temporal structure, and causation — but nobody has derived these differences from a single compositional denotation grounded in cognitive architecture. We do, and opacity falls out by computation.
How Linglib formalizes nine competing theories of temporal reference and compares them against 22 phenomena.
Kennedy’s exact numeral semantics and Goodman & Stuhlmuller’s knowledge-sensitivity results look incompatible. Type-shifting resolves it.
Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.
Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.