somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense.... This description may be from another edition of this product.