Notre Dame Journal of Formal Logic
Paper

A matrix decision procedure for three modal logics

View publication

Abstract

No abstract available.