Muskens, Reinhard, ‘Higher order modal logic’, Handbook of Modal Logic, edited by Patrick Blackburn, Johan Van Benthem et al., volume 3, Studies in Logic and Practical Reasoning, Elsevier, 2007, pp 621–653.
book chapter · https://doi.org/10.1016/S1570-2464(07)80013-9