In the dawn of the XXI century, debates on the statute of contradiction in logic, philosophy
and mathematics are still likely to raise the most diverse and animated sentiments. And this …

It is nearly ubiquitous for philosophers interested in meaning and consequence to first
provide a semantics for sentences and next define what it means for sentences to follow …

After it is argued that philosophers of science have lost interest in logic because they applied
the wrong type of logics, examples are given of the forms of dynamic reasoning that are …

We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus,
Lehmann and Magidor (KLM). We give a tableau proof procedure for all KLM logics, namely …

The paper presents an exhaustive menu of nonmonotonic logics. The options are
individuated in terms of the principles they reject. I locate, eg, cumulative logics and …

This volume contains a revised and updated version of the author's Ph. D. dissertation and is
focused on proof methods and theorem proving for Conditional and Preferential logics …

We provide a general framework for constructing natural consequence relations for
paraconsistent and plausible nonmonotonic reasoning. The framework is based on …

Agents act on the basis of their beliefs and these beliefs change as they interact with other
agents. In this book the authors propose and explain general logical tools for handling …

One way that we revise our attitudes is by reasoning from other attitudes that we have. And
to first approximation, a piece of reasoning is good when the attitudes that results from it will …

In this paper we present a tableau calculus for the rational logic R of default reasoning,
introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing …