A Logic for Easy Linking Semantics

I will define a logic with case-indexed variables and partial variable assignments for a lean syntax-semantics interface. Specifically, the syntax-semantics mapping does not require obligatory quantifier raising (as Heim+Kratzer, 1998) and does not require a fixed underlying order of arguments of the verb. The latter feature will facilitate semantic research on free word order languages and semantic research on languages where no specific syntactic claims about word order are as yet available.