The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields…