Defining the semantics of any higher-order logic is relatively complicated. Since modalities add special complexities, it is fortunate I can discuss underlying classical issues before bringing them into the picture. In this Chapter the “real” notion of higher-order model is defined first, and truth in them is characterized. Then Henkin’s modification of these models is considered—sometimes these are called general models—as well as a non-extensional version of them.
Unable to display preview. Download preview PDF.