@inproceedings{CTT100540658,
  author = {Katsuhiko Sano and Ryo Kashima},
  title = {Bimodal Logics with Irreflexive Modality},
  booktitle = {Proceedings of 1st World Congress on Universal Logic},
  year = 2005,
}