고전 모달 논리

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

$\displaystyle \Diamond A\equiv \lnot \Box \lnot A}$

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

$\ displaystyle A \ equiv B \ vdash \ equiv \ Box B }$

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

$\displaystyle \Equiv \lnot \다이아몬드 \lnot A}$

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

$(\displaystyle A\equiv B\vdash\Diamond A\equiv\Diamond B).$

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

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

레퍼런스

이 논리 관련 기사는 stub입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.