PublicationNotre Dame Journal of Formal LogicPaperA matrix decision procedure for three modal logicsNotre Dame Journal of Formal LogicView publicationAbstractNo abstract available.Home↳ PublicationsDate01 Jan 1979PublicationNotre Dame Journal of Formal LogicAuthorsAdrian LarnerIBM-affiliated at time of publicationShare
