Abstract
Natural languages have a variety of resources that help expressing the occurrences of situations that precede, is preceded by, or overlap with the speech time. A clear example is the verb tense system of Portuguese, the empirical object of this project. We aim at developing a formal -- logic-mathematic -- analysis which accounts for the interpretation of these tenses and the way they inte…