비-엄격 지시자를 포함한 모달 및 시간적 자유 기술 논리의 확장 버전

이 논문은 정의 기술과 개별 이름을 포함하는 모달 기술 논리를 제안하고, 이러한 논리의 결정가능성과 복잡도를 조사한다. 저자들은 일차 모달 논리의 한 변수 단편과 계수를 모달 기술 논리에 연결하고, 일부 기본적인 모달 논리에 대해 NEXPTIME 완전성 결과를 증명한다. 또한 일부 표현력 있는 논리가 상수 영역에서는 결정불가능하지만 확장 영역에서는 결정가능해진다는 것을 보여준다.