It is not the case that Fitch's 1963 proof demonstrates that the conjunction K(p & ~Kp) distributes to Kp & K~Kp via the factivity and distribution of knowledge.
?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.