Book

Advances in modal logic

by Marcus Kracht, Heinrich Wansing, Michael Zakharyaschev