Self-knowledge paradoxes like K(p ∧ ¬Kp) arise from classical assumptions; paraconsistent logic diss...
This proposition has not been edited since the history system was added.