様相論理ようそうろんりyousouronrinounmodal logicKanji in this word様esq.理logic相inter-論argumentStudy it in Yanamino