Linguistic Grammar as Dynamic Logic (2000)

by J van Benthem
Venue:Dynamic Perspectives in Logic and Linguistics, Bulzoni