고전 모달 논리

Classical modal logic

모달 논리학에서 고전 모달 논리 L은 모달 연산자의 이중성을 (공리 또는 정리로서) 포함하는 모달 논리이다.

규정상 또한 폐쇄되어 있다.

또는 L이 고전적인 L대한 이중 정의를 제공할 수 있다(공리 또는 정리로서).

규정상 폐쇄되어 있습니다.

가장 약한 고전적 시스템은 때때로 E라고 불리며 비정규적입니다.대수적 의미론과 근린 의미론 모두 가장 약한 정규 모달 논리 K보다 약한 익숙한 고전 모달 시스템을 특징짓는다.

모든 정규 모달 로직은 고전적이며, 모든 정규 모달 로직은 규칙적이기 때문에 고전적입니다.

레퍼런스