Exploring logical dynamics / - Benthem, Johan van (CSLI Publications, 1996)