Advances in Modal Logic, Vol 3 by Maarten de Rijke & Heinrich Wansing