Book

Advances in Modal Logic

by Michael Zakharyaschev, Krister Segerberg, Heinrich Wansing