Modal logic / Alexander Chagrov and Michael Zakharyaschev. - Chagrov, Alexander (Oxford logic guides ;, 1997)