Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.
Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and...

The logic of theory change is a growing area of research in artificial intelligence. The papers in this volume chart out the current state of research in the area and indicate directions of future research. Connections to other areas of AI are emphasized throughout.