-
Modal의 의미를 사전에서 찾아보니 이렇다.
a modal or a modal auxiliary is a word such as 'can' or 'would' which is used with a main verb to express ideas such as possibility, intention, or necessity.
영어 공부할 때 배운 조동사가 바로 modal 이다. 따라서, 양상 논리(Modal Logic)는 술어를 꾸미는 양상 연산자를 통해 가능성, 필요성, 의도 등을 표현할 수 있게 하고 각 양상 연산자가 논리 연산에 미치는 영향을 연구하고 정의하는 학문이 되리라. 실세계의 지식을 모델링하려면, 이는 필수적 표현력이 되리라.