Bøker i Trends in Logic-serien

Advances in Natural Deduction

This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.

Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.