Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction. The main applications of this move are logical approaches[...]