@inproceedings{Kavvos2017b,
  title = "{Dual-Context Calculi for Modal Logic}",
  author = "Kavvos, G. A.",
  year = "2017",
  booktitle = "Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",
  url = "http://arxiv.org/abs/1602.04860",
}