Modal Axiom B
دیسه‌ای
𝐴⊃□◊𝐴
A⊃□◊A


تاربرگ‌های پیموده‌شده در این نشست: Negative Free Logic ⟩ Peano arithmetics ⟩ Logic R ⟩ Contingentism ⟩ idempotency ⟩ Modal Axiom 5