 Two-dimensional semantics was introduced to model the semantics of context-sensitive expressions in natural language, like indexicals and demonstratives. A similar 2D framework was developed to model important aspects of tense and modal logic.