A Kripkean Theory of Truth for Unrestricted Higher-Order Languages

This paper develops a Kripkean truth theory for higher-order languages that is compatible with absolute generality.