It is not the case that S4's accessibility relation encodes iterated epistemic or metaphysical possibility, a hyperintensional structure that extensional sort distinctions cannot fully capture without circularity.
?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.