b. 1949
Jeroen Groenendijk is a Dutch logician and formal semanticist at the University of Amsterdam's Institute for Logic, Language and Computation (ILLC). He is best known for co-developing Dynamic Predicate Logic with Martin Stokhof, which models anaphoric relations and inter-sentential binding as dynamic updates to information states. His work bridges formal logic, linguistics, and the semantics of questions and discourse.
Co-developed Dynamic Predicate Logic (DPL) with Martin Stokhof, extending first-order logic with dynamic binding across sentence boundaries
Foundational contributions to the formal semantics of questions and answers, including the partition semantics for interrogatives
Advanced dynamic approaches to discourse coherence and anaphora resolution
Long-term faculty at ILLC, Amsterdam, shaping the Amsterdam school of formal semantics