크립키 의미론 (Kripke Semantics)
한 줄 정의: 가능세계들의 집합, 각 세계에서 각 명제의 진리값, 그리고 세계들 사이의 접근 관계로 구성된 모델을 이용해 양상논리의 진리 조건을 정의하는 형식 의미론 체계이다.
쉽게 풀면
크립키 의미론은 솔 크립키가 개발한, 가능세계 의미론을 수학적으로 엄밀하게 구현한 표준적인 방법이다. 여러 가능세계와 그 세계들이 서로 '접근 가능한지'를 나타내는 관계를 이용해, '필연적으로 P'나 '가능하게 P' 같은 양상 문장의 참거짓을 계산 가능한 방식으로 정의한다.
논문에서는 이렇게 쓰입니다
"크립키 프레임은 가능세계의 집합과 그 위의 이항 접근 관계라는 두 요소만으로 정의된다."
크립키 의미론의 수학적 뼈대(프레임)가 단순히 가능세계들의 집합과, 어떤 세계에서 어떤 세계로 '접근 가능한지'를 나타내는 이항 관계라는 최소한의 두 요소로 구성된다는 것을 설명한다.
주의할 점
크립키 의미론은 양상논리뿐 아니라 직관주의 논리의 의미론으로도 활용되므로, 반드시 필연성·가능성 논의에만 국한된 것은 아니라는 점을 알아두면 좋다.