Title: Interfaces : Explorations in Logic, Language and Computation