Formal Linguistic Approaches to MultiModality