Exploring Logical Dynamics (1996)

by J van Benthem