forall x, truth and satisfaction 
Aaron Schiller used forall x for a course he taught in the Spring. A few weeks ago, I had coffee with him and discussed it. He pointed to two weak spots in the chapter on formal semantics, and also relayed his students' desire for more solved problems in the proofs chapter.

These comments jibed with my experience, so I made some changes to the book. I rewrote the section on reasoning about all possible models, breaking it into two parts. I also rewrote the section on truth in QL and the definition of satisfaction. I added two problem sets with solutions to the proofs chapter.

The new version (1.2) is now on-line in several formats. This is the version I will be teaching with in the Fall.

Aaron Schiller 
The changes look great, PD! Good luck with the book. I'm sure I'll use it again.

We are sorry. New comments are not allowed after 1 days.