@Inproceedings{EPTCS243.7,
  author    = {Ma, Minghui and Pietarinen, Ahti-Veikko},
  year      = {2017},
  title     = {Graphical Sequent Calculi for Modal Logics},
  editor    = {Ghosh, Sujata and Ramanujam, R.},
  booktitle = {{\rm Proceedings of the Ninth Workshop on}
               Methods for Modalities,
               {\rm Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {243},
  publisher = {Open Publishing Association},
  pages     = {91-103},
  doi       = {10.4204/EPTCS.243.7},
}