back to the articles: Jan Benthem »