Research in Text Theory
Refine
Year of publication
- 1981 (1)
Document Type
- Part of a Book (1)
Language
- English (1)
Has Fulltext
- yes (1)
Is part of the Bibliography
- no (1)
Keywords
- Formale Sprache (1)
- Logische Semantik (1)
- Progressiv (1)
- Verlaufsform (1)
- Zustandsverb (1)
Publicationstate
Reviewstate
6
In the first part of this contribution, we will present, as a starting point for the following discussions, a simple formal language P containing one stative predicate. We will then discuss, on an intuitive level, how a treatment of predicates of change could be conceived, and how the progressive could be rendered in a formal language.
We will then give a formal definition of a language, TP1, based on P, and we will construct a semantics for TP1, which incorporates the ideas discussed.