@article{kavvos-2023-under, title={UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC}, volume={29}, ISSN={1943-5894}, url={http://dx.doi.org/10.1017/bsl.2023.14}, DOI={10.1017/bsl.2023.14}, number={2}, journal={The Bulletin of Symbolic Logic}, publisher={Cambridge University Press (CUP)}, author={KAVVOS, G. A. and GRATZER, DANIEL}, year={2023}, month=Apr, pages={264–293} }