2 works on record
Logic, Rationality, and Interaction
Interfaces : Explorations in Logic, Language and Computation