What Is Meaning: Fundamentals of Formal Semantics
Paul H. Portner
Formal Semantics: The Essential Readings
Paul H. Portner & Barbara H. Partee