>∀・∃がすべて＜によって限定されているから
それって、通常の一階述語論理より「視野を狭めて」いないか？
通常の一階論理では、限定されない∀・∃が使えるのだから。
そうやって視野を狭めることで、決定可能な部分に収めている、わけなんだが。

>>814 の
>モーダル論理はより視野が広くて
は撤回ってことでおk？