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.
`a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics'
Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103
`the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation'
Zbl. Math. 787
H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.