Formal semantics textbook
Elements of Formal Semantics introduces some of the foundational concepts, principles and techniques in formal semantics of natural language. The book is intended for readers who have some elementary background in set theory and linguistics, but it does not assume any expertise in logic, math, or theoretical linguistics. By way of analyzing concrete English examples, the book brings central concepts and tools to the forefront, calling attention to the beauty of the mathematical principles underlying linguistic meanings.
A Textbook of Belief Dynamics: Theory Change and Database Updating (Solutions Manual only) (Applied Logic Series)