Exploring Logical Dynamics (1996)

by Johan van Benthem