Lawrence S. Moss Exploring Logical Dynamics, Johan van Benthem. 261-263 2000 9 Journal of Logic, Language and Information 2 db/journals/jolli/jolli9.html#Moss00