It is not the case that Routley and Meyer's relevant logic tradition denies that □¬p entails ¬◇p when modal operators are interpreted through world-relative inconsistency-tolerant accessibility relations.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.