\Box

\Diamond

雑な理解

その世界から到達可能な世界での論理式の成立の話をしている

ある世界から、到達可能な世界が

いくつかあり、それら全て(\forall的な)の世界で真なら\square

いくつかあり、少なくともどこか1つ(\exist的な)で真なら\Diamond

\Diamondは、\Boxによって定義できるので、/mrsekut-book-4007305803/099 (3.1 命題様相論理)の構文論の定義には\Boxしか含まれていない