@misc{indiciae535ff432ad0c,
  title = {A general proof certification framework for modal logic},
  author = {Tomer Libal and Marco Volpe},
  year = {2018},
  doi = {10.1017/s0960129518000440},
  url = {https://arxiv.org/abs/1810.10257},
  note = {Source identifier: 1810.10257}
}