The chapters on the various logics are largely self-contained so that the book can be used as a reference.
. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem.Each logic is shown to fall naturally within a general framework for semantics. For this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations.