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.
Author : Maria Manzano Release : 1996-03-29 Publisher : Cambridge University Press ISBN : 9780521354356 File Size : 43.64 MB Format : PDF, ePub, Mobi Download : 142 Read : 1065