Advances in modal logic, volume 10 - Goré, Rajeev (College Publications, 2014)