Proof, Computation and Agency: Logic at the Crossroads

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Games, Norms and Reasons: Logic at the Crossroads

Readings in Formal Epistemology: Sourcebook

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

Generalized Quantifiers in Natural Language

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Situations, Language and Logic

Categorial Grammar