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

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

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

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

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

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

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 volume covers a wide range of conceptual, epistemological and methodological issues in the p...

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

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

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

Belief Revision Refutationand systems in Propositional Logic. A Quantifier Scope in Formal Lingui...

Lambda Calculi: A Guide Interpolation and DefinabilityDiscourse Representation Theory

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningthe...

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

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

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

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

Lambda Calculi: A Guide Interpolation and DefinabilityDiscourse Representation Theory