In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an

This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelli

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructi

This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic he