Modal Logic, volume 35 of Oxford Logic Guides (1997)

by A Chagrov, M Zakharyaschev