Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

Handbook of Philosophical Logic: Volume I: Elements of Classical Logic

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Logic and the Modalities in the Twentieth Century

British Logic in the Nineteenth Century

The Many Valued and Nonmonotonic Turn in Logic

What is Negation?

Mediaeval and Renaissance Logic

The Rise of Modern Logic: from Leibniz to Frege