Temporal partitioning (judging P at t1, not-P at t2) preserves logical coherence while explaining wh...
This proposition has not been edited since the history system was added.