"Katsuhiko Sano,Ryo Kashima","Bimodal Logics with Irreflexive Modality","1st World Congress on Universal Logic","Proceedings of 1st World Congress on Universal Logic",,,,"pp. 93",2005,Apr.