Intensional Logics for Programming (Studies in Logic and Computation, 1)

Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume offers seminal work on the use of intensional logics for the semantic analysis of logic programs, and programming in intensional logics. For example, modal logic, temporal logic, and linear logic prove to be very useful for these purposes. The work presented here thus yields a better understanding of logic programs and will have a significant impact on future developments of logic programming languages. The book will interest computer science graduate students and researchers, particularly those concerned with artificial intelligence, knowledge representation, logic programming, expert systems, reasoning, and natural languages.Farinas del Cerro, Luis is the author of 'Intensional Logics for Programming (Studies in Logic and Computation, 1)', published 1992 under ISBN 9780198537755 and ISBN 0198537751.