A textbook for an introductory graduate or senior course, assuming at least a modest knowledge of first-order logic and set theory. Also suitable for computer scientists, philosophers, and linguists who have or are willing to acquire the prerequisite background. Details many useful logical systems, contending that most can be naturally translated into many-sorted first-order logic. The treatment is unified and intended to be read entirely and in order. Annotation c. by Book News, Inc., Portland, Or.
An introduction to many-sorted logic as an extension of first-order logic.
This book introduces some extensions of classical first-order logic and applies them to reasoning about computer programs. The extensions considered are: second-order logic, many-sorted logic, w-logic, modal logic type theory and dynamic logic. These have wide applications in various areas of computer science, philosophy, natural language processing and artificial intelligence. Researchers in these areas will find this book a useful introduction and comparative treatment.
