建設的および直観主義的なモーダル論理の崩壊

KB の建設的および直観主義的なバリアントは一致する。