@misc{indiciae01ff70d1b457,
  title = {Under Lock and Key: A Proof System for a Multimodal Logic},
  author = {G. A. Kavvos and Daniel Gratzer},
  year = {2023},
  doi = {10.1017/bsl.2023.14},
  url = {https://arxiv.org/abs/2211.06217},
  note = {Source identifier: 2211.06217}
}