 Foundational works in this tradition include Irene Heim’s file change semantics (1982) and Hans Kamp’s  discourse representation theory (see entry).  For more details on different versions of this alternative to classical semantics, see the entry on  dynamic semantics.  For critical discussion of the motivations for dynamic semantics, see Karen Lewis (2014). For discussion of the extent to which dynamic and static approaches are really in competition, see Stojnić (2019).