In this talk I discuss how language description benefits from typological frameworks, but language specific morphosyntactic criteria must take precedence over typological expectations (Haspelmath 2020 ...

Abstract: Predicate complement constructions are a rich source of semantic problems. A system for testing the semantic properties (presuppositions and entailments) of predicate complement ...

Abstract: The formalism of program logics is the main instrument for software verification. Many such logics reflecting different properties of software systems were proposed. Floyd-Hoare logic and ...

The five patterns illustrated below provide the basis for all other sentence structures: that is, other kinds of sentences are transformations of these basic patterns. Though the above sentences are ...