요약

본 논문은 누적 명제 의존 논리(cumulative propositional dependence logic)와 팀 의미론을 기반으로 한 누적 명제 논리의 함의(entailment) 복잡성을 분석합니다. System C로 특징지어지는 누적 논리의 특성을 바탕으로, 관계 모델(relational models)을 통한 함의 문제의 복잡성 결과를 확립하고 증명하는 데 중점을 둡니다.

핵심 포인트

• 누적 명제 의존 논리와 팀 의미론을 결합한 함의 복잡성 연구
• System C로 정의되는 누적 논리의 특성 분석
• Kraus, Lehmann, Magidor의 누적 모델을 통한 관계 모델 기반 함의 문제 해결