Changing a semantics: opportunism or courage?

H. Andréka, J. F. A. K. van Benthem, N. Bezhanishvili +1

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so,…