Revision history for entry Kaplan, Daniel: A multi-succedent sequent calculus for logical expressivists [KAPAMS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-01-12T21:42:31update
2022-01-12T21:42:31update
2022-01-12T21:42:31update
2022-01-12T21:42:30addLocal copy uploaded (view this copy)