Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleUNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC.AuthorsKAVVOS, G. A.; GRATZER, DANIELSubjectsMATHEMATICAL proofs; INTUITIONISTIC mathematics; MATHEMATICAL equivalence; MORPHISMS (Mathematics); MONOIDSPublicationBulletin of Symbolic Logic, 2023, Vol 29, Issue 2, p264ISSN1079-8986Publication typeArticleDOI10.1017/bsl.2023.14