@misc{indiciaed3c7c4591a12,
  title = {Cut-free Completeness for Modular Hypersequent Calculi for Modal Logics K, T, and D},
  author = {Samara Burns and Richard Zach},
  year = {2021},
  doi = {10.1017/s1755020320000180},
  url = {https://arxiv.org/abs/1805.09437},
  note = {Source identifier: 1805.09437}
}