interpretation-function

논리 체계의 기호들을 실제 세계의 객체나 관계(도메인)에 매핑하는 규칙이다. 추상적인 논리식이 특정 모델 내에서 어떤 실제적 의미를 갖는지 결정하는 역할을 한다.