In this book the authors present new results on interpolation for nonmonotonic logics, abstract (...

InhaltsangabeEditorial Preface; Dov M. Gabbay.- Hybrid Logic; Torben Braüner.- Nominal Terms and ...

The notion of negation is one of the central logical notions. It has been studied since antiquity...

The chapters in the present volume go beyond 'classical' extensional logic with respect to one im...

The notion of negation is one of the central logical notions. It has been studied since antiquity...

Recent years have been blessed with an abundance of logical systems, arising from a multitude of ...

InhaltsangabeLogics of Formal Inconsistency.- Causality.- On Conditionals.- Quantifiers in Formal...

An important aspect in the formalisation of common-sense reasoning is the construction of a model...

We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty...

Goal Directed Proof Theory presents a uniform andcoherent methodology for automated deduction i...

InhaltsangabeLogic and Knowledge Representation.- Artificial Neural Networks.- Neural-Symbolic Le...

Reasoning under uncertainty is always based on a specified language or for malism, including its ...