@book{18442, author = {Benthem, Johan van,}, title = {Logical dynamics of information and interaction /}, publisher = {Cambridge University,}, year = {2011.}, address = {Cambridge ;} }