53 citations · 306 across the 21 of their papers we have counts for
1 paper · 2 filters
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,…