A Formal Framework for Studying Interaction in Human-Robot Societies