Epub A Companion To Modal Logic 1985