문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) ==== 공리체계들 ==== 앞에서 설명한 것처럼 양상논리 체계는 [[#s-3|여러 가지 양상 개념]]들을 두루 포괄한다. 따라서 어떤 양상 개념을 다루느냐에 [[공리]] 또한 달라진다. 그러므로 "양상 논리 체계"는 한 공리 체계만 가리키는게 아니라 여러 공리 체계들을 아우르는 말이다. 또한 아래에 공리'틀'이라고 적혀 있는 것은 각 체계의 공리가 한 문장 혹은 유한한 문장들이 아니라, 공리틀의 형식을 지닌 무한히 많은 문장들이 모두 공리임을 나타내기 위한 것이다. 아래에 설명된 공리 체계들은 그중에서도 "정상(normal) 양상 논리 체계"라고 불리는 양상 논리 체계들 가운데 일부이며, [[21세기]] 현재에 주로 다뤄지는 양상 체계들이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기