기본 양상 논리는 고전 양상 논리의 비고전적 일반화로, 대수적 표현 정리를 통해 그 의미론을 다룰 수 있다. 특히 부정이 이중 자기 대조적이고 가능성이 필연성의 부정과 상호작용하는 경우, 단일 접근 관계로 양자를 모두 표현할 수 있다.
