Solving the $100 modal logic challenge

Florian Rabe et al.

Journal of Applied Logic, vol. 7, no. 1, 2009, pp. 113–130