Modal Axiom Geach

دیسه‌ای
□(□𝜙⊃𝜓)∨□(□𝜓⊃𝜙)
□(□𝜙⊃𝜓)∨□(□𝜓⊃𝜙)