非古典論理のクリプキ・モデルにおける音楽のコード列の表現と生成

抄録

近年，計算論的音楽理論が発展している．様相論理のクリプキ・モデルにおける音楽情報処理の可能性を考察する一歩として，本稿では，可能世界としてのコード，可能世界間の遷移としてのコード進行を考察する．