*7.3. Model-Checking for LDL-SL*

Since the MCP for BSL is non-elementary-complete [24], in addition to Theorem 2, then the lower bound of the MCP for LDL-SL is non-elementary.
