# A dependently-typed calculus of event telicity and culminativity

arXiv: https://arxiv.org/abs/2506.06968 · HTML: https://mlsanity.com/paper/2506.06968/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 0 of its 34 references that are in the map.
- First posted on arXiv 8 Jun 2025.

## Built on by (most cited first, 1 of 1)

- [Type-Driven Tokenization for Brahmic Scripts](https://mlsanity.com/paper/2609.22125/) (2026)

## Abstract (arXiv)

We present a dependently-typed cross-linguistic framework for analyzing the telicity and culminativity of events, accompanied by examples of using our framework to model English sentences. Our framework consists of two parts. In the nominal domain, we model the boundedness of noun phrases and its relationship to subtyping, delimited quantities, and adjectival modification. In the verbal domain we define a dependent event calculus, modeling telic events as those whose undergoer is bounded, culminating events as telic events that achieve their inherent endpoint, and consider adverbial modification. In both domains we pay particular attention to associated entailments. Our framework is defined as an extension of intensional Martin-L"of dependent type theory, and the rules and examples in this paper have been formalized in the Agda proof assistant.