Articles by J. B. van Benthem