본 논문에서는 기본 모달 논리 언어에 한정 기술어를 위한 모달 연산자를 추가하면 만족도 문제의 계산 복잡도가 PSpace에서 ExpTime로 증가하지만, 기술어에 해당하는 공식이 부울일 경우 복잡도가 증가하지 않음을 보여줍니다. 또한, 한정 기술어를 하이브리드 및 카운팅 논리의 관련 연산자와 비교하여 표현력을 분석합니다.
