S52の局所的な表形式性の条件

2つの局所的に表形式的なモーダル論理の積は、その片方が有界クラスター性質を持つか、積可約パス性質を満たすか、1変数断片が有限であれば、局所的に表形式的である。