Book

Advances in Modal Logic, Volume 2

by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing