TY - CHAP U1 - Buchbeitrag A1 - Ballweg, Joachim A1 - Frosch, Helmut ED - Eikmeyer, Hans-Jürgen ED - Rieser, Hannes T1 - Formal Semantics for the Progressive of Stative and Non-Stative Verbs T2 - Words, Worlds, and Contexts. New Approaches in Word Semantics N2 - 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. T3 - Research in Text Theory - 6 KW - Logische Semantik KW - Formale Sprache KW - Progressiv KW - Zustandsverb KW - Verlaufsform Y1 - 1981 UN - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-68787 SN - 3-11-008504-6 SB - 3-11-008504-6 U6 - https://doi.org/10.1515/9783110842524-011 DO - https://doi.org/10.1515/9783110842524-011 SP - 210 EP - 221 PB - de Gruyter CY - Berlin [u.a.] ER -