Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic

A Precis of Mathematical Logic

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

The Many Valued and Nonmonotonic Turn in Logic

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

What is Negation?

Mediaeval and Renaissance Logic

Quantified Representation of Uncertainty and Imprecision

Logic and the Modalities in the Twentieth Century

Formal Semantics and Pragmatics for Natural Languages

Logic from Russell to Church