Hans Kamp Seminar in Language and Logic