47 followers
@jide_alaga (1/n) Did u try q'tified branching-paths modal logics?: ¬◇=¬∃, ◇=∃,□=∀ (-possible-worlds). Too, there was a 1980's-90's Oxford bk on Aristotelean modal logic saying that Necessity=∀-ways.: 1.https://t.co/cbbKaWzjAj 2.https://t.co/hMTlvooWaI