본 논문은 명제 논리와 팀 의미론, 그리고 의존 원자(dependence atoms)를 사용하는 설정에서 KLM 스타일의 선호 추론의 복잡성과 특성을 고려합니다. 이는 명제 의존 논리로도 알려져 있습니다. 선호 팀 기반 추론은 누적적임이 보여지지만, System P는 위반합니다. 본 논문은 선호 명제 의존 논리가 System P를 만족하는 경우를 완전히 특징짓는 직관적인 조건을 제시합니다. 놀랍게도 이러한 특징이 선호 팀 기반 명제 논리로는 이어지지 않는다는 것을 보여줍니다. 또한, 고전적 함의와 의존 논리 함의가 비자명적인 선호 모델로 어떻게 표현될 수 있는지 보여줍니다. 마지막으로, 두 가지 자연스러운 표현에 대한 선호 팀 기반 추론의 복잡성을 제시합니다. 여기에는 고전적인 (팀 기반이 아닌) 선호 추론에 대한 새로운 복잡성 결과가 포함됩니다.
