Group for Logic and Formal Semantics