consequently documents

Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox
Documents Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox
NST_LP
Documents NST_LP
Comparing Modal Sequent Systems
Documents Comparing Modal Sequent Systems
Proofnets for S5: Sequents and Circuits for Modal Logic
Documents Proofnets for S5: Sequents and Circuits for Modal Logic