18.15 양상 논리의 응용 영역