A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces