Schlenker, Philippe. 2008. "Semantics"  [Encyclopedia Article]
Written for the Linguistics Encyclopedia,  ed. K. Malmkjaer (Routledge).

[Full paper in pdf] 


Abstract: This is an encyclopedia article on formal semantics. Topics covered include type theory, quantifiers, pronouns, as well as context, time and world dependency.