Interactive Logic

About This Book

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... (see more details)