What is meaning? : fundamentals of formal semantics - Portner, Paul (Blackwell, 2005)