A matrix decision procedure for three modal logicsAdrian Larner1979Notre Dame Journal of Formal Logic