@incollection{BallwegFrosch2017,
  author    = {Joachim Ballweg and Helmut Frosch},
  title     = {Formal Semantics for the Progressive of Stative and Non-Stative Verbs},
  series = {Words, Worlds, and Contexts. New Approaches in Word Semantics},
  editor    = {Hans-J{\"u}rgen Eikmeyer and Hannes Rieser},
  publisher = {de Gruyter},
  address   = {Berlin [u.a.]},
  isbn      = {3-11-008504-6},
  doi       = {10.1515/9783110842524-011},
  url       = {https://nbn-resolving.org/urn:nbn:de:bsz:mh39-68787},
  pages     = {210 -- 221},
  year      = {2017},
  abstract  = {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.},
  language  = {en}
}