2005年 Bimodal Logics with Irreflexive Modality 1st World Congress on Universal Logic 記述言語 会議種別 ポスター発表