Temporal Connective Infrastructure #
Shared infrastructure for temporal connective semantics. Study-specific
analyses live in Studies/:
Anscombe1964.lean: Point-level and event-level ∃∀/∃∃ semanticsKarttunen1974.lean: When, while, until, till, since, byRett2020.lean: Antonymy + aspectual coercion + ambidirectionalityBeaverCondoravdi2003.lean: Intensional uniform analysis withearliestOgiharaSteinertThrelkeld2024.lean(inStudies/): Critique of B&C, eventuality-relative equivalence
Submodules #
Basic.lean: Shared types (SentDenotation, timeTrace, denotation patterns)Before.lean: B&Cbeforepresuppositions (hasEarliest, IPF)Projection.lean: The eventDenotation projection (Level 3 → Level 2)