The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapter

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

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of p

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, hel

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographic