@Inproceedings{EPTCS243.8,
  author    = {Sano, Katsuhiko and Stell, John G.},
  year      = {2017},
  title     = {Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense 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     = {105-121},
  doi       = {10.4204/EPTCS.243.8},
}