Chapter 18. 양상 논리의 기초 Chapter 18. 양상 논리의 기초 18.1양상의 개념과 분류 18.2필연성과 가능성의 구분 18.3우연성과 불가능성의 개념 18.4양상 연산자의 도입 18.5양상 명제의 예시 18.6양상의 자연어 표현 18.7양상 명제 논리의 언어 18.8양상 논리의 형성 규칙 18.9쌍대성 원리 18.10양상의 상호 정의 가능성 18.11기본 양상 공리 K 18.12양상 체계 T, S4, S5 18.13양상 논리와 고전 명제 논리의 관계 18.14양상 논리 연구의 역사 18.15양상 논리의 응용 영역