Professor of Philosophy at the University of Cincinnati. Content overview of books; bibliography with abstracts of selected papers; links to articles available online.
Professor of Philosophy, Boston University. Pioneer of game-theoretical semantics in logic, branching quantifiers, and a prominent critic of the thesis that formalisation means formalisation in (Fregean) first-order logic.