Logic and Semantics Research Group