Model theory of modal logic (2007)

by V Goranko, M Otto
Venue:Handbook of Modal Logic, chapter 5