Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there ar...

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

This book is intended to serve as an advanced text and reference work on modal logic, a subject o...

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

Artificial Intelligence is concerned with producing devices that help or replace human beings in ...

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

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

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

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

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

The Handbook of the History of Logic is a multi-volume research instrument that brings to the dev...

This book contains leading survey papers on the various aspectsof Abduction, both logical and num...

This volume presents a number of systems of logic which can be considered as alternatives to clas...

Belief change is an emerging field of artificial intelligenceand information science dedicated to...

This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers...

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

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

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

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

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

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness...

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

This book constitutes the refereed proceedings of the First International Joint Conference on Qua...

This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributo...

This book contains leading survey papers on the various aspectsof Abduction, both logical and num...

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

Lambda Calculi: A Guide Interpolation and DefinabilityDiscourse Representation Theory

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningthe...

One of the most striking features of mathematics is the fact that we are much more certain about ...

Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

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

'Mathematical Problems from Applied Logic II' presents chapters from selected, world renowned, lo...

The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fol...

The aim of the series Logic, Epistemology, and the Unity of Science, of which this is the first v...

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph ...

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

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

This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributo...

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

theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: - a chapter on non-mo...

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

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

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

This text offers an extension to the traditional Kripke semantics for non-classical logics by add...

This second edition of the Handbook of Philosophical Logic reflects great changes in the landscap...

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

From the point of view of non-classical logics, Heyting's implication is the smallest implication...

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