18.13 양상 논리와 고전 명제 논리의 관계