Semântica formal aplicada a tempo e tempo verbal explora como expressões linguísticas codificam referência temporal e aspetos de indexicalidade.

O enfoque inclui análise de teorias sobre representação temporal e de exemplos que ilustram diferenças entre tempos gramaticais e interpretações contextuais.

Linguagem e conceitos de tempo são discutidos com atenção a casos concretos de enunciação e às implicações para teorias da verdade ao longo do tempo.