>>211
(古典論理+様相論理)-古典論理=和声学