Publications

A matrix decision procedure for three modal logics

• • Adrian Larner
• 1979
• Notre Dame Journal of Formal Logic