様相論理学ようそうろんりがくyousouronrigakunounmodal logicKanji in this word学study様esq.理logic相inter-論argumentStudy it in Yanamino