양상 논리
필연성이나 가능성과 같은 '양상'을 다루는 논리 체계이다. 컴퓨터 과학에서는 시스템의 상태 변화나 프로그램의 동작 특성을 명시하고 검증하는 데 사용되며, 지식 표현과 인공지능의 추론 능력을 강화하는 논리적 기초를 제공한다.
튜링상 수상자 다나 스콧, 철학과 컴퓨터 과학의 가교 역할로 바와이즈 상 수상