Docs / Semantics / Reference / Context / Index

Indices of evaluation

import Linglib.Semantics.Reference.Context.Index · namespace Kaplan

An index of evaluation is a world–time pair, the circumstance of evaluation of Kaplan 1989 with world and temporal coordinates only: a product, with its coordinates named (Index.world, Index.time), so that the Prod instances and API apply. It is not the Kratzer situation, a preordered type with parthood, nor the Pearl–Halpern partial valuation (Causation.Situation).

References

Kaplan 1989, Demonstratives formalized

Declarations

The world coordinate.

@[reducible, inline] abbrev Index.world L34–35

{W : Type u_1} {T : Type u_2} (i : Index W T) :

W

i.world = i.fst

Built from

Used by Index.world_mk

Used in Semantics/Aspect/Viewpoint, Semantics/Modality/HistoricalAlternatives, Heim1994a, Mendes2025, Percus2000 and 1 more

The temporal coordinate.

@[reducible, inline] abbrev Index.time L37–38

{W : Type u_1} {T : Type u_2} (i : Index W T) :

T

i.time = i.snd

Built from

Used by Index.time_mk

Used in Semantics/Aspect/Viewpoint, Semantics/Modality/HistoricalAlternatives, Heim1994a, Klecha2016, Mendes2025 and 3 more