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...

It is with great pleasure that we are presenting to the community the second edition of this extr...

Humans are often extraordinary at performing practical reasoning. There are cases where the human...